Anne is big. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Erin is big. Erin is quiet. Erin is round. Gary is cold. Gary is quiet. Gary is rough. Gary is round. Harry is nice. All nice, rough things are big. Cold, green things are quiet. All green, rough things are big. All cold, green things are big. If Gary is nice and Gary is round then Gary is rough. Round things are cold. All quiet, rough things are cold. Cold things are big.
Harry is not big.
@0: Anne is big.[(triple1 OR ((triple2) -> rule8) OR ((triple2 triple3) -> rule4) OR ((triple3 triple6) -> rule3) OR ((triple4 triple6) -> rule1) OR ((((triple7) -> rule6)) -> rule8) OR ((((triple5 triple6) -> rule7)) -> rule8) OR ((((triple7) -> rule6) triple3) -> rule4) OR ((((triple5 triple6) -> rule7) triple3) -> rule4))] Anne is cold.[(triple2 OR ((triple7) -> rule6) OR ((triple5 triple6) -> rule7))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple2 triple3) -> rule2) OR ((((triple7) -> rule6) triple3) -> rule2))] Anne is rough.[(triple6)] Anne is round.[(triple7)] Erin is big.[(triple8 OR ((((triple10) -> rule6)) -> rule8))] Erin is quiet.[(triple9)] Erin is round.[(triple10)] Gary is cold.[(triple11 OR ((triple14) -> rule6) OR ((triple12 triple13) -> rule7))] Gary is quiet.[(triple12)] Gary is rough.[(triple13)] Gary is round.[(triple14)] Harry is nice.[(triple15)] @1: Erin is cold.[(((triple10) -> rule6))] Gary is big.[(((triple11) -> rule8) OR ((((triple14) -> rule6)) -> rule8) OR ((((triple12 triple13) -> rule7)) -> rule8))]