Dave is green. Dave is rough. Dave is round. Dave is smart. Dave is white. Fiona is furry. Fiona is green. Fiona is red. Fiona is white. Harry is furry. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is white. All green things are smart. If something is round then it is rough. If something is white then it is round. If something is green and white then it is furry. If Fiona is rough and Fiona is red then Fiona is furry. If Fiona is furry and Fiona is white then Fiona is green.
Harry is round.
@0: Dave is green.[(triple1)] Dave is rough.[(triple2 OR ((triple3) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Dave is round.[(triple3 OR ((triple5) -> rule3))] Dave is smart.[(triple4 OR ((triple1) -> rule1))] Dave is white.[(triple5)] Fiona is furry.[(triple6 OR ((triple7 triple9) -> rule4) OR ((((((triple9) -> rule3)) -> rule2) triple8) -> rule5))] Fiona is green.[(triple7 OR ((triple6 triple9) -> rule6) OR ((((((((triple9) -> rule3)) -> rule2) triple8) -> rule5) triple9) -> rule6))] Fiona is red.[(triple8)] Fiona is white.[(triple9)] Harry is furry.[(triple10 OR ((triple11 triple16) -> rule4))] Harry is green.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple14) -> rule2) OR ((((triple16) -> rule3)) -> rule2))] Harry is round.[(triple14 OR ((triple16) -> rule3))] Harry is smart.[(triple15 OR ((triple11) -> rule1))] Harry is white.[(triple16)] @1: Dave is furry.[(((triple1 triple5) -> rule4))] Fiona is round.[(((triple9) -> rule3))] Fiona is smart.[(((triple7) -> rule1) OR ((((triple6 triple9) -> rule6)) -> rule1) OR ((((((((((triple9) -> rule3)) -> rule2) triple8) -> rule5) triple9) -> rule6)) -> rule1))] @2: Fiona is rough.[(((((triple9) -> rule3)) -> rule2))]