Dave is blue. Dave is round. Erin is furry. Erin is round. Erin is young. Gary is white. Harry is blue. Harry is cold. Harry is white. Harry is young. If Erin is big and Erin is cold then Erin is white. All furry people are big. All cold people are furry. If someone is blue and big then they are round. If Erin is big and Erin is blue then Erin is young. All big people are round.
Harry is furry.
@0: Dave is blue.[(triple1)] Dave is round.[(triple2)] Erin is furry.[(triple3)] Erin is round.[(triple4 OR ((((triple3) -> rule2)) -> rule6))] Erin is young.[(triple5)] Gary is white.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Erin is big.[(((triple3) -> rule2))] Harry is furry.[(((triple8) -> rule3))] @2: Harry is big.[(((((triple8) -> rule3)) -> rule2))] @3: Harry is round.[(((((((triple8) -> rule3)) -> rule2)) -> rule6) OR ((triple7 ((((triple8) -> rule3)) -> rule2)) -> rule4))]