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