Erin is cold. Erin is round. Erin is white. Gary is white. Harry is cold. Harry is kind. Harry is white. All blue, round things are rough. All cold things are round. If something is white and round then it is blue.
Erin is rough.
@0: Erin is cold.[(triple1)] Erin is round.[(triple2 OR ((triple1) -> rule2))] Erin is white.[(triple3)] Gary is white.[(triple4)] Harry is cold.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7)] @1: Erin is blue.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple1) -> rule2)) -> rule3))] Harry is round.[(((triple5) -> rule2))] @2: Erin is rough.[(((((triple3 triple2) -> rule3) triple2) -> rule1) OR ((((triple3 triple2) -> rule3) ((triple1) -> rule2)) -> rule1) OR ((((triple3 ((triple1) -> rule2)) -> rule3) triple2) -> rule1) OR ((((triple3 ((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1))] Harry is blue.[(((triple7 ((triple5) -> rule2)) -> rule3))] @3: Harry is rough.[(((((triple7 ((triple5) -> rule2)) -> rule3) ((triple5) -> rule2)) -> rule1))]