Dave is big. Dave is not green. Dave is rough. Erin is cold. Erin is green. Erin is rough. Erin is not round. Harry is furry. Harry is green. Harry is round. If something is nice then it is green. If Harry is cold then Harry is round. All round things are rough. All cold things are rough. If something is rough and not green then it is cold. If something is rough and not round then it is furry.
Erin is round.
@0: Dave is big.[(triple1)] Dave is not green.[(triple2)] Dave is rough.[(triple3)] Erin is cold.[(triple4)] Erin is green.[(triple5)] Erin is not round.[(triple7)] Erin is rough.[(triple6 OR ((triple4) -> rule4))] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is round.[(triple10)] @1: Dave is cold.[(((triple3 triple2) -> rule5))] Erin is furry.[(((triple6 triple7) -> rule6) OR ((((triple4) -> rule4) triple7) -> rule6))] Harry is rough.[(((triple10) -> rule3))]