Charlie is green. Charlie is quiet. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is smart. Harry is cold. Harry is nice. Harry is rough. Harry is round. Harry is smart. If Harry is quiet and Harry is green then Harry is nice. Green people are smart. Round people are cold. If someone is green then they are round. If someone is rough and nice then they are green. All quiet people are smart.
Dave is not nice.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Dave is cold.[(triple3 OR ((triple6) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Dave is green.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple4) -> rule4))] Dave is smart.[(triple7 OR ((triple4) -> rule2))] Harry is cold.[(triple8 OR ((triple11) -> rule3) OR ((((((triple10 triple9) -> rule5)) -> rule4)) -> rule3))] Harry is nice.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11 OR ((((triple10 triple9) -> rule5)) -> rule4))] Harry is smart.[(triple12 OR ((((triple10 triple9) -> rule5)) -> rule2))] @1: Charlie is round.[(((triple1) -> rule4))] Charlie is smart.[(((triple1) -> rule2) OR ((triple2) -> rule6))] Harry is green.[(((triple10 triple9) -> rule5))] @2: Charlie is cold.[(((((triple1) -> rule4)) -> rule3))]