Anne is nice. Anne is smart. Charlie is big. Charlie is cold. Charlie is nice. Charlie is round. Charlie is smart. Harry is big. Harry is cold. Harry is kind. Harry is smart. Harry is young. If Charlie is young and Charlie is nice then Charlie is smart. Big, smart things are cold. Smart things are round. All kind things are nice. If something is young then it is smart. All round things are big.
Anne is not kind.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Charlie is big.[(triple3 OR ((triple6) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Charlie is cold.[(triple4 OR ((triple3 triple7) -> rule2) OR ((((triple6) -> rule6) triple7) -> rule2) OR ((((((triple7) -> rule3)) -> rule6) triple7) -> rule2))] Charlie is nice.[(triple5)] Charlie is round.[(triple6 OR ((triple7) -> rule3))] Charlie is smart.[(triple7)] Harry is big.[(triple8 OR ((((triple11) -> rule3)) -> rule6) OR ((((((triple12) -> rule5)) -> rule3)) -> rule6))] Harry is cold.[(triple9 OR ((triple8 triple11) -> rule2) OR ((triple8 ((triple12) -> rule5)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) triple11) -> rule2) OR ((((((triple11) -> rule3)) -> rule6) ((triple12) -> rule5)) -> rule2) OR ((((((((triple12) -> rule5)) -> rule3)) -> rule6) triple11) -> rule2) OR ((((((((triple12) -> rule5)) -> rule3)) -> rule6) ((triple12) -> rule5)) -> rule2))] Harry is kind.[(triple10)] Harry is smart.[(triple11 OR ((triple12) -> rule5))] Harry is young.[(triple12)] @1: Anne is round.[(((triple2) -> rule3))] Harry is nice.[(((triple10) -> rule4))] Harry is round.[(((triple11) -> rule3) OR ((((triple12) -> rule5)) -> rule3))] @2: Anne is big.[(((((triple2) -> rule3)) -> rule6))] @3: Anne is cold.[(((((((triple2) -> rule3)) -> rule6) triple2) -> rule2))]