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