Dave is big. Dave is green. Dave is not red. Dave is rough. Erin is white. Harry is not big. Harry is green. Harry is kind. Harry is red. Harry is rough. White people are kind. If someone is green and red then they are kind. Kind, rough people are round. If Harry is rough then Harry is not big. If Harry is white and Harry is not red then Harry is not big. If someone is big then they are white.
Erin is rough.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is not red.[(triple3)] Dave is rough.[(triple4)] Erin is white.[(triple5)] Harry is green.[(triple7)] Harry is kind.[(triple8 OR ((triple7 triple9) -> rule2))] Harry is not big.[(triple6 OR ((triple10) -> rule4))] Harry is red.[(triple9)] Harry is rough.[(triple10)] @1: Dave is white.[(((triple1) -> rule6))] Erin is kind.[(((triple5) -> rule1))] Harry is round.[(((triple8 triple10) -> rule3) OR ((((triple7 triple9) -> rule2) triple10) -> rule3))] @2: Dave is kind.[(((((triple1) -> rule6)) -> rule1))] @3: Dave is round.[(((((((triple1) -> rule6)) -> rule1) triple4) -> rule3))]