Anne is cold. Anne is red. Charlie is big. Charlie is cold. Charlie is rough. Charlie is round. Charlie is smart. Gary is cold. Gary is round. Gary is smart. Harry is blue. Harry is cold. Harry is rough. Harry is round. Harry is smart. If Gary is smart then Gary is cold. If something is red and smart then it is rough. If something is big then it is round. Smart things are rough. If something is rough then it is red. All red things are big.
Anne is not big.
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Charlie is big.[(triple3 OR ((((triple5) -> rule5)) -> rule6) OR ((((((triple7) -> rule4)) -> rule5)) -> rule6))] Charlie is cold.[(triple4)] Charlie is rough.[(triple5 OR ((triple7) -> rule4))] Charlie is round.[(triple6 OR ((triple3) -> rule3) OR ((((((triple5) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple7) -> rule4)) -> rule5)) -> rule6)) -> rule3))] Charlie is smart.[(triple7)] Gary is cold.[(triple8 OR ((triple10) -> rule1))] Gary is round.[(triple9 OR ((((((((triple10) -> rule4)) -> rule5)) -> rule6)) -> rule3))] Gary is smart.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is rough.[(triple13 OR ((triple15) -> rule4))] Harry is round.[(triple14 OR ((((((triple13) -> rule5)) -> rule6)) -> rule3) OR ((((((((triple15) -> rule4)) -> rule5)) -> rule6)) -> rule3))] Harry is smart.[(triple15)] @1: Anne is big.[(((triple2) -> rule6))] Charlie is red.[(((triple5) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] Gary is rough.[(((triple10) -> rule4))] Harry is red.[(((triple13) -> rule5) OR ((((triple15) -> rule4)) -> rule5))] @2: Anne is round.[(((((triple2) -> rule6)) -> rule3))] Gary is red.[(((((triple10) -> rule4)) -> rule5))] Harry is big.[(((((triple13) -> rule5)) -> rule6) OR ((((((triple15) -> rule4)) -> rule5)) -> rule6))] @3: Gary is big.[(((((((triple10) -> rule4)) -> rule5)) -> rule6))]