Anne is blue. Anne is cold. Anne is smart. Anne is young. Dave is cold. Dave is red. Dave is smart. Dave is young. Gary is red. Gary is round. Gary is white. Gary is young. Harry is red. Harry is round. Harry is white. Young, round things are white. White things are young. Smart, blue things are round. All white things are cold. Smart, white things are blue. If Dave is smart then Dave is red. If something is smart then it is white. If something is blue and young then it is cold.
Harry is blue.
@0: Anne is blue.[(triple1 OR ((triple3 ((triple3) -> rule7)) -> rule5))] Anne is cold.[(triple2 OR ((triple1 triple4) -> rule8) OR ((((triple3) -> rule7)) -> rule4) OR ((((triple4 ((triple3 triple1) -> rule3)) -> rule1)) -> rule4) OR ((triple1 ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((triple3 ((triple3) -> rule7)) -> rule5) triple4) -> rule8) OR ((((triple3 ((triple3) -> rule7)) -> rule5) ((((triple3) -> rule7)) -> rule2)) -> rule8))] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((((triple3) -> rule7)) -> rule2))] Dave is cold.[(triple5 OR ((((triple7) -> rule7)) -> rule4) OR ((((triple7 ((triple7) -> rule7)) -> rule5) triple8) -> rule8) OR ((((triple7 ((triple7) -> rule7)) -> rule5) ((((triple7) -> rule7)) -> rule2)) -> rule8))] Dave is red.[(triple6 OR ((triple7) -> rule6))] Dave is smart.[(triple7)] Dave is young.[(triple8 OR ((((triple7) -> rule7)) -> rule2))] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11 OR ((triple12 triple10) -> rule1))] Gary is young.[(triple12 OR ((triple11) -> rule2))] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Anne is round.[(((triple3 triple1) -> rule3) OR ((triple3 ((triple3 ((triple3) -> rule7)) -> rule5)) -> rule3))] Anne is white.[(((triple3) -> rule7) OR ((triple4 ((triple3 triple1) -> rule3)) -> rule1))] Dave is white.[(((triple7) -> rule7))] Gary is cold.[(((triple11) -> rule4) OR ((((triple12 triple10) -> rule1)) -> rule4))] Harry is cold.[(((triple15) -> rule4))] Harry is young.[(((triple15) -> rule2))] @2: Dave is blue.[(((triple7 ((triple7) -> rule7)) -> rule5))] @3: Dave is round.[(((triple7 ((triple7 ((triple7) -> rule7)) -> rule5)) -> rule3))]