Bob is big. Bob is cold. Bob is quiet. Bob is red. Bob is rough. Bob is round. Erin is big. Erin is quiet. Erin is rough. Gary is big. Gary is green. Gary is red. Harry is green. Harry is quiet. Harry is rough. Harry is round. Rough, cold things are big. If something is rough then it is quiet. All green things are cold.
Harry is rough.
@0: Bob is big.[(triple1 OR ((triple5 triple2) -> rule1))] Bob is cold.[(triple2)] Bob is quiet.[(triple3 OR ((triple5) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Erin is big.[(triple7)] Erin is quiet.[(triple8 OR ((triple9) -> rule2))] Erin is rough.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Harry is green.[(triple13)] Harry is quiet.[(triple14 OR ((triple15) -> rule2))] Harry is rough.[(triple15)] Harry is round.[(triple16)] @1: Gary is cold.[(((triple11) -> rule3))] Harry is cold.[(((triple13) -> rule3))] @2: Harry is big.[(((triple15 ((triple13) -> rule3)) -> rule1))]