Anne is big. Anne is blue. Anne is quiet. Anne is red. Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is round. Erin is big. Erin is quiet. Erin is rough. Gary is blue. Gary is nice. Gary is red. Gary is round. Blue, round people are nice.
Erin is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is nice.[(triple7 OR ((triple6 triple9) -> rule1))] Bob is red.[(triple8)] Bob is round.[(triple9)] Erin is big.[(triple10)] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Gary is blue.[(triple13)] Gary is nice.[(triple14 OR ((triple13 triple16) -> rule1))] Gary is red.[(triple15)] Gary is round.[(triple16)]