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