Bob is blue. Bob is kind. Bob is nice. Bob is round. Bob is smart. Bob is white. Bob is young. Gary is blue. Gary is nice. Gary is smart. Blue, smart things are white. If something is smart and white then it is young. If something is young then it is blue. If Bob is young then Bob is smart. All nice things are young. If Bob is nice and Bob is white then Bob is kind.
Bob is nice.
@0: Bob is blue.[(triple1 OR ((triple7) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple5 triple6) -> rule2)) -> rule3))] Bob is kind.[(triple2 OR ((triple3 triple6) -> rule6) OR ((triple3 ((triple1 triple5) -> rule1)) -> rule6) OR ((triple3 ((triple1 ((triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((triple7) -> rule3) triple5) -> rule1)) -> rule6) OR ((triple3 ((((triple7) -> rule3) ((triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((triple1 ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((((triple3) -> rule5)) -> rule3) triple5) -> rule1)) -> rule6) OR ((triple3 ((((triple7) -> rule3) ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((((triple3) -> rule5)) -> rule3) ((triple7) -> rule4)) -> rule1)) -> rule6) OR ((triple3 ((((((triple3) -> rule5)) -> rule3) ((((triple3) -> rule5)) -> rule4)) -> rule1)) -> rule6))] Bob is nice.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5 OR ((triple7) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] Bob is white.[(triple6 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple7) -> rule4)) -> rule1) OR ((((triple7) -> rule3) triple5) -> rule1) OR ((((triple7) -> rule3) ((triple7) -> rule4)) -> rule1) OR ((triple1 ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3) triple5) -> rule1) OR ((((triple7) -> rule3) ((((triple3) -> rule5)) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3) ((triple7) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule3) ((((triple3) -> rule5)) -> rule4)) -> rule1))] Bob is young.[(triple7 OR ((triple3) -> rule5) OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple1 triple5) -> rule1)) -> rule2))] Gary is blue.[(triple8 OR ((((triple9) -> rule5)) -> rule3))] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Gary is white.[(((triple8 triple10) -> rule1) OR ((((((triple9) -> rule5)) -> rule3) triple10) -> rule1))] Gary is young.[(((triple9) -> rule5) OR ((triple10 ((triple8 triple10) -> rule1)) -> rule2))]