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