Anne is big. Anne is kind. Anne is rough. Anne is smart. Charlie is big. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. All big, cold things are round. Young things are cold. Round, kind things are smart. If Charlie is rough then Charlie is young. Kind things are young. If Anne is big and Anne is smart then Anne is young.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4 OR ((((triple1 ((((triple2) -> rule5)) -> rule2)) -> rule1) triple2) -> rule3))] Charlie is big.[(triple5)] Charlie is cold.[(triple6 OR ((triple10) -> rule2) OR ((((triple7) -> rule5)) -> rule2) OR ((((triple8) -> rule4)) -> rule2))] Charlie is kind.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple10) -> rule2)) -> rule1) OR ((triple5 ((((triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple5 ((((triple8) -> rule4)) -> rule2)) -> rule1))] Charlie is young.[(triple10 OR ((triple7) -> rule5) OR ((triple8) -> rule4))] @1: Anne is young.[(((triple2) -> rule5) OR ((triple1 triple4) -> rule6))] Charlie is smart.[(((triple9 triple7) -> rule3) OR ((((triple5 triple6) -> rule1) triple7) -> rule3) OR ((((triple5 ((triple10) -> rule2)) -> rule1) triple7) -> rule3) OR ((((triple5 ((((triple7) -> rule5)) -> rule2)) -> rule1) triple7) -> rule3) OR ((((triple5 ((((triple8) -> rule4)) -> rule2)) -> rule1) triple7) -> rule3))] @2: Anne is cold.[(((((triple2) -> rule5)) -> rule2) OR ((((triple1 triple4) -> rule6)) -> rule2))] @3: Anne is round.[(((triple1 ((((triple2) -> rule5)) -> rule2)) -> rule1) OR ((triple1 ((((triple1 triple4) -> rule6)) -> rule2)) -> rule1))]