Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is red. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Blue, kind things are smart. If Charlie is blue and Charlie is furry then Charlie is kind. Furry things are kind. All smart, quiet things are blue. Furry, smart things are quiet. All blue, green things are smart.
Bob is smart.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple2) -> rule3))] Bob is red.[(triple5)] Charlie is blue.[(triple6 OR ((triple12 triple10) -> rule4) OR ((triple12 ((triple7 triple12) -> rule5)) -> rule4))] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9 OR ((triple7) -> rule3) OR ((triple6 triple7) -> rule2) OR ((((triple12 triple10) -> rule4) triple7) -> rule2) OR ((((triple12 ((triple7 triple12) -> rule5)) -> rule4) triple7) -> rule2))] Charlie is quiet.[(triple10 OR ((triple7 triple12) -> rule5) OR ((triple7 ((triple6 triple8) -> rule6)) -> rule5) OR ((triple7 ((triple6 triple9) -> rule1)) -> rule5) OR ((triple7 ((triple6 ((triple7) -> rule3)) -> rule1)) -> rule5) OR ((triple7 ((triple6 ((triple6 triple7) -> rule2)) -> rule1)) -> rule5))] Charlie is red.[(triple11)] Charlie is smart.[(triple12 OR ((triple6 triple8) -> rule6) OR ((triple6 triple9) -> rule1) OR ((triple6 ((triple7) -> rule3)) -> rule1) OR ((triple6 ((triple6 triple7) -> rule2)) -> rule1))] @1: Bob is smart.[(((triple1 triple3) -> rule6) OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple2) -> rule3)) -> rule1))] @2: Bob is quiet.[(((triple2 ((triple1 triple3) -> rule6)) -> rule5) OR ((triple2 ((triple1 triple4) -> rule1)) -> rule5) OR ((triple2 ((triple1 ((triple2) -> rule3)) -> rule1)) -> rule5))]