Dave is blue. Dave is kind. Dave is round. Dave is white. Dave is young. Fiona is furry. Fiona is kind. Fiona is not white. Fiona is young. Gary is blue. Gary is kind. Gary is smart. Gary is young. Harry is kind. Harry is white. If Dave is smart and Dave is round then Dave is kind. White things are blue. If Harry is smart and Harry is young then Harry is furry. All blue things are round. If Dave is round and Dave is blue then Dave is furry. Blue things are smart.
Gary is not white.
@0: Dave is blue.[(triple1 OR ((triple4) -> rule2))] Dave is kind.[(triple2 OR ((((triple1) -> rule6) triple3) -> rule1) OR ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) triple3) -> rule1) OR ((((triple1) -> rule6) ((((triple4) -> rule2)) -> rule4)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) ((triple1) -> rule4)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6) ((((triple4) -> rule2)) -> rule4)) -> rule1))] Dave is round.[(triple3 OR ((triple1) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] Dave is white.[(triple4)] Dave is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is not white.[(triple8)] Fiona is young.[(triple9)] Gary is blue.[(triple10)] Gary is kind.[(triple11)] Gary is smart.[(triple12 OR ((triple10) -> rule6))] Gary is young.[(triple13)] Harry is kind.[(triple14)] Harry is white.[(triple15)] @1: Dave is furry.[(((triple3 triple1) -> rule5) OR ((triple3 ((triple4) -> rule2)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule5) OR ((((triple1) -> rule4) ((triple4) -> rule2)) -> rule5) OR ((((((triple4) -> rule2)) -> rule4) triple1) -> rule5) OR ((((((triple4) -> rule2)) -> rule4) ((triple4) -> rule2)) -> rule5))] Dave is smart.[(((triple1) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] Gary is round.[(((triple10) -> rule4))] Harry is blue.[(((triple15) -> rule2))] @2: Harry is round.[(((((triple15) -> rule2)) -> rule4))] Harry is smart.[(((((triple15) -> rule2)) -> rule6))]