Anne is nice. Anne is rough. Anne is round. Dave is big. Fiona is not quiet. Harry is nice. Harry is quiet. If something is round and not quiet then it is nice. If something is rough then it is round. Nice, green things are rough. All nice things are rough. All quiet things are green. All big things are not green. If Harry is quiet then Harry is young. All round things are not big.
Anne is not round.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple1) -> rule4))] Anne is round.[(triple3 OR ((triple2) -> rule2) OR ((((triple1) -> rule4)) -> rule2))] Dave is big.[(triple4)] Fiona is not quiet.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is not big.[(((triple3) -> rule8) OR ((((triple2) -> rule2)) -> rule8) OR ((((((triple1) -> rule4)) -> rule2)) -> rule8))] Dave is not green.[(((triple4) -> rule6))] Harry is green.[(((triple7) -> rule5))] Harry is rough.[(((triple6) -> rule4) OR ((triple6 ((triple7) -> rule5)) -> rule3))] Harry is young.[(((triple7) -> rule7))] @2: Harry is round.[(((((triple6) -> rule4)) -> rule2) OR ((((triple6 ((triple7) -> rule5)) -> rule3)) -> rule2))] @3: Harry is not big.[(((((((triple6) -> rule4)) -> rule2)) -> rule8) OR ((((((triple6 ((triple7) -> rule5)) -> rule3)) -> rule2)) -> rule8))]