Dave is big. Dave is red. Dave is rough. Dave is young. Erin is big. Erin is rough. Erin is round. Gary is furry. Gary is round. Harry is big. Harry is furry. Harry is round. If Erin is red then Erin is rough. If Dave is rough then Dave is blue. All blue people are furry. If someone is big then they are young. Rough people are blue. Round people are young. All rough people are red. If Dave is young then Dave is round.
Gary is not red.
@0: Dave is big.[(triple1)] Dave is red.[(triple2 OR ((triple3) -> rule7))] Dave is rough.[(triple3)] Dave is young.[(triple4 OR ((triple1) -> rule4))] Erin is big.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Gary is furry.[(triple8)] Gary is round.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Dave is blue.[(((triple3) -> rule2) OR ((triple3) -> rule5))] Dave is round.[(((triple4) -> rule8) OR ((((triple1) -> rule4)) -> rule8))] Erin is blue.[(((triple6) -> rule5))] Erin is red.[(((triple6) -> rule7))] Erin is young.[(((triple5) -> rule4) OR ((triple7) -> rule6))] Gary is young.[(((triple9) -> rule6))] Harry is young.[(((triple10) -> rule4) OR ((triple12) -> rule6))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] Erin is furry.[(((((triple6) -> rule5)) -> rule3))]