Bob is green. Bob is white. Gary is furry. Gary is green. Gary is kind. Gary is white. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is round. If Harry is furry and Harry is kind then Harry is white. Kind people are white. All white people are round. All white people are furry. Green people are blue. Furry, kind people are blue. Furry, round people are big. All kind, white people are round.
Bob is big.
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Gary is furry.[(triple3 OR ((triple6) -> rule4) OR ((((triple5) -> rule2)) -> rule4))] Gary is green.[(triple4)] Gary is kind.[(triple5)] Gary is white.[(triple6 OR ((triple5) -> rule2))] Harry is big.[(triple7 OR ((triple9 triple12) -> rule7) OR ((triple9 ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((triple9 ((((triple9 triple11) -> rule1)) -> rule3)) -> rule7) OR ((triple9 ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule7) OR ((triple9 ((triple11 ((triple9 triple11) -> rule1)) -> rule8)) -> rule7) OR ((((((triple11) -> rule2)) -> rule4) triple12) -> rule7) OR ((((((triple11) -> rule2)) -> rule4) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((((triple11) -> rule2)) -> rule4) ((((triple9 triple11) -> rule1)) -> rule3)) -> rule7) OR ((((((triple11) -> rule2)) -> rule4) ((triple11 ((triple11) -> rule2)) -> rule8)) -> rule7) OR ((((((triple11) -> rule2)) -> rule4) ((triple11 ((triple9 triple11) -> rule1)) -> rule8)) -> rule7))] Harry is blue.[(triple8 OR ((triple10) -> rule5) OR ((triple9 triple11) -> rule6) OR ((((((triple11) -> rule2)) -> rule4) triple11) -> rule6))] Harry is furry.[(triple9 OR ((((triple11) -> rule2)) -> rule4))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is round.[(triple12 OR ((((triple11) -> rule2)) -> rule3) OR ((((triple9 triple11) -> rule1)) -> rule3) OR ((triple11 ((triple11) -> rule2)) -> rule8) OR ((triple11 ((triple9 triple11) -> rule1)) -> rule8))] @1: Bob is blue.[(((triple1) -> rule5))] Bob is furry.[(((triple2) -> rule4))] Bob is round.[(((triple2) -> rule3))] Gary is blue.[(((triple4) -> rule5) OR ((triple3 triple5) -> rule6) OR ((((triple6) -> rule4) triple5) -> rule6) OR ((((((triple5) -> rule2)) -> rule4) triple5) -> rule6))] Gary is round.[(((triple6) -> rule3) OR ((triple5 triple6) -> rule8) OR ((((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule8))] Harry is white.[(((triple11) -> rule2) OR ((triple9 triple11) -> rule1))] @2: Bob is big.[(((((triple2) -> rule4) ((triple2) -> rule3)) -> rule7))] Gary is big.[(((triple3 ((triple6) -> rule3)) -> rule7) OR ((triple3 ((triple5 triple6) -> rule8)) -> rule7) OR ((((triple6) -> rule4) ((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule4) ((triple5 triple6) -> rule8)) -> rule7) OR ((triple3 ((((triple5) -> rule2)) -> rule3)) -> rule7) OR ((triple3 ((triple5 ((triple5) -> rule2)) -> rule8)) -> rule7) OR ((((triple6) -> rule4) ((((triple5) -> rule2)) -> rule3)) -> rule7) OR ((((triple6) -> rule4) ((triple5 ((triple5) -> rule2)) -> rule8)) -> rule7) OR ((((((triple5) -> rule2)) -> rule4) ((triple6) -> rule3)) -> rule7) OR ((((((triple5) -> rule2)) -> rule4) ((triple5 triple6) -> rule8)) -> rule7) OR ((((((triple5) -> rule2)) -> rule4) ((((triple5) -> rule2)) -> rule3)) -> rule7) OR ((((((triple5) -> rule2)) -> rule4) ((triple5 ((triple5) -> rule2)) -> rule8)) -> rule7))]