Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Charlie is kind. Charlie is quiet. If something is big then it is quiet. All kind things are smart. If something is quiet and furry then it is blue. Quiet things are furry. If something is big and furry then it is smart. If Bob is smart then Bob is big.
Bob is not big.
@0: Bob is big.[(triple1 OR ((((triple4) -> rule2)) -> rule6))] Bob is blue.[(triple2 OR ((((triple1) -> rule1) triple3) -> rule3) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1) triple3) -> rule3) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule3) OR ((((triple1) -> rule1) ((((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1) ((((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4)) -> rule3))] Bob is furry.[(triple3 OR ((((triple1) -> rule1)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule6)) -> rule1)) -> rule4))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule1) OR ((((((triple4) -> rule2)) -> rule6)) -> rule1))] Bob is smart.[(((triple4) -> rule2) OR ((triple1 triple3) -> rule5) OR ((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule5))] Charlie is furry.[(((triple7) -> rule4))] Charlie is smart.[(((triple6) -> rule2))] @2: Charlie is blue.[(((triple7 ((triple7) -> rule4)) -> rule3))]