Erin is big. Erin is cold. Erin is green. Erin is quiet. Harry is blue. Harry is cold. Harry is quiet. Round people are cold. Blue, white people are big. All blue people are cold. If Harry is white and Harry is big then Harry is cold. If someone is white then they are big. All big people are cold. If someone is round and green then they are big. Cold, blue people are big.
Harry is round.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple1) -> rule6))] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6 OR ((triple5) -> rule3))] Harry is quiet.[(triple7)] @1: Harry is big.[(((triple6 triple5) -> rule8) OR ((((triple5) -> rule3) triple5) -> rule8))]