Dave is big. Dave is blue. Dave is furry. Dave is red. Dave is white. Erin is big. Erin is kind. Gary is not big. Gary is green. Gary is red. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is white. If Harry is blue and Harry is white then Harry is red. White things are blue. All green things are white.
Dave is green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple5) -> rule2))] Dave is furry.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Erin is big.[(triple6)] Erin is kind.[(triple7)] Gary is green.[(triple9)] Gary is not big.[(triple8)] Gary is red.[(triple10)] Harry is blue.[(triple11 OR ((triple16) -> rule2) OR ((((triple13) -> rule3)) -> rule2))] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is red.[(triple15 OR ((triple11 triple16) -> rule1) OR ((triple11 ((triple13) -> rule3)) -> rule1) OR ((((triple16) -> rule2) triple16) -> rule1) OR ((((triple16) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((triple13) -> rule3)) -> rule2) triple16) -> rule1) OR ((((((triple13) -> rule3)) -> rule2) ((triple13) -> rule3)) -> rule1))] Harry is white.[(triple16 OR ((triple13) -> rule3))] @1: Gary is white.[(((triple9) -> rule3))] @2: Gary is blue.[(((((triple9) -> rule3)) -> rule2))]