Anne is big. Anne is red. Anne is rough. Anne is round. Erin is big. Erin is rough. Erin is round. Gary is cold. Gary is nice. Gary is red. Gary is round. Harry is cold. If Gary is cold and Gary is nice then Gary is rough. All big, rough people are nice. All nice people are red.
Harry is not nice.
@0: Anne is big.[(triple1)] Anne is red.[(triple2 OR ((((triple1 triple3) -> rule2)) -> rule3))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Erin is big.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple9) -> rule3))] Gary is round.[(triple11)] Harry is cold.[(triple12)] @1: Anne is nice.[(((triple1 triple3) -> rule2))] Erin is nice.[(((triple5 triple6) -> rule2))] Gary is rough.[(((triple8 triple9) -> rule1))] @2: Erin is red.[(((((triple5 triple6) -> rule2)) -> rule3))]