Dave is not blue. Dave is cold. Dave is not green. Dave is not rough. Dave is round. Dave is smart. Dave is young. Harry is green. Harry is not rough. Harry is smart. All smart people are young. Rough, cold people are young. Green, young people are cold. If someone is smart and not rough then they are cold. All smart, cold people are round. If someone is cold then they are round. If Dave is green then Dave is not smart. If someone is cold and not smart then they are blue.
Harry is young.
@0: Dave is cold.[(triple2 OR ((triple6 triple4) -> rule4))] Dave is not blue.[(triple1)] Dave is not green.[(triple3)] Dave is not rough.[(triple4)] Dave is round.[(triple5 OR ((triple2) -> rule6) OR ((triple6 triple2) -> rule5) OR ((((triple6 triple4) -> rule4)) -> rule6) OR ((triple6 ((triple6 triple4) -> rule4)) -> rule5))] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple6) -> rule1))] Harry is green.[(triple8)] Harry is not rough.[(triple9)] Harry is smart.[(triple10)] @1: Harry is cold.[(((triple10 triple9) -> rule4) OR ((triple8 ((triple10) -> rule1)) -> rule3))] Harry is young.[(((triple10) -> rule1))] @2: Harry is round.[(((((triple10 triple9) -> rule4)) -> rule6) OR ((triple10 ((triple10 triple9) -> rule4)) -> rule5) OR ((((triple8 ((triple10) -> rule1)) -> rule3)) -> rule6) OR ((triple10 ((triple8 ((triple10) -> rule1)) -> rule3)) -> rule5))]