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