Erin is blue. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. If Erin is round and Erin is blue then Erin is quiet. Round, green people are blue.
Erin is not green.
@0: Erin is blue.[(triple1 OR ((triple5 triple2) -> rule2))] Erin is green.[(triple2)] Erin is quiet.[(triple3 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple5 triple2) -> rule2)) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Harry is blue.[(triple8 OR ((triple12 triple9) -> rule2))] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]