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