Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is round. Gary is big. Gary is cold. Gary is red. Gary is round. Gary is young. Harry is blue. Harry is cold. Harry is furry. Harry is red. Harry is round. Red, round people are big.
Harry is round.
@0: Erin is big.[(triple1 OR ((triple5 triple6) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Gary is big.[(triple7 OR ((triple9 triple10) -> rule1))] Gary is cold.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Harry is big.[(((triple15 triple16) -> rule1))]