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