Dave is nice. Dave is white. Dave is young. Erin is smart. Erin is white. Harry is red. Harry is young. If Harry is young then Harry is red. All cold, nice things are round. Young, nice things are red. If something is cold then it is nice. Young, cold things are round. Red things are cold.
Dave is white.
@0: Dave is nice.[(triple1)] Dave is white.[(triple2)] Dave is young.[(triple3)] Erin is smart.[(triple4)] Erin is white.[(triple5)] Harry is red.[(triple6 OR ((triple7) -> rule1))] Harry is young.[(triple7)] @1: Dave is red.[(((triple3 triple1) -> rule3))] Harry is cold.[(((triple6) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] @2: Dave is cold.[(((((triple3 triple1) -> rule3)) -> rule6))] Harry is nice.[(((((triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule1)) -> rule6)) -> rule4))] Harry is round.[(((triple7 ((triple6) -> rule6)) -> rule5) OR ((triple7 ((((triple7) -> rule1)) -> rule6)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((((triple7) -> rule1)) -> rule6) ((((triple6) -> rule6)) -> rule4)) -> rule2) OR ((((triple6) -> rule6) ((((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule2) OR ((((((triple7) -> rule1)) -> rule6) ((((((triple7) -> rule1)) -> rule6)) -> rule4)) -> rule2))] @3: Dave is round.[(((triple3 ((((triple3 triple1) -> rule3)) -> rule6)) -> rule5) OR ((((((triple3 triple1) -> rule3)) -> rule6) triple1) -> rule2))]