Bob is blue. Bob is furry. Bob is nice. Bob is smart. Bob is white. Bob is young. Gary is blue. Gary is furry. Gary is quiet. Gary is white. Gary is young. Harry is nice. Harry is quiet. Harry is smart. Harry is white. If Bob is white then Bob is blue. All furry things are nice. All nice things are quiet. All furry, quiet things are white. All blue, furry things are smart. Blue, quiet things are young. If Harry is young and Harry is quiet then Harry is furry. All blue things are white.
Gary is not white.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule1) OR ((((triple2 ((triple3) -> rule3)) -> rule4)) -> rule1) OR ((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule1))] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule2))] Bob is smart.[(triple4 OR ((triple1 triple2) -> rule5) OR ((((triple5) -> rule1) triple2) -> rule5) OR ((((((triple2 ((triple3) -> rule3)) -> rule4)) -> rule1) triple2) -> rule5) OR ((((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule1) triple2) -> rule5))] Bob is white.[(triple5 OR ((triple1) -> rule8) OR ((triple2 ((triple3) -> rule3)) -> rule4) OR ((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4))] Bob is young.[(triple6 OR ((triple1 ((triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((triple1 ((((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((triple5) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2 ((triple3) -> rule3)) -> rule4)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple2 ((triple3) -> rule3)) -> rule4)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule6))] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9 OR ((((triple8) -> rule2)) -> rule3))] Gary is white.[(triple10 OR ((triple7) -> rule8) OR ((triple8 triple9) -> rule4) OR ((triple8 ((((triple8) -> rule2)) -> rule3)) -> rule4))] Gary is young.[(triple11 OR ((triple7 triple9) -> rule6) OR ((triple7 ((((triple8) -> rule2)) -> rule3)) -> rule6))] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple12) -> rule3))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Bob is quiet.[(((triple3) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Gary is nice.[(((triple8) -> rule2))] Gary is smart.[(((triple7 triple8) -> rule5))]