Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Gary is nice. Gary is red. Gary is rough. If something is rough then it is red. All quiet, red things are rough. If something is nice and smart then it is quiet. If Bob is quiet and Bob is furry then Bob is red. If something is furry and red then it is smart. All quiet things are kind. Quiet, kind things are nice. All red things are smart.
Gary is smart.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((triple4) -> rule6) OR ((((triple3 triple7) -> rule3)) -> rule6) OR ((((triple3 ((triple5) -> rule8)) -> rule3)) -> rule6) OR ((((triple3 ((triple1 triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple3 ((((triple6) -> rule1)) -> rule8)) -> rule3)) -> rule6) OR ((((triple3 ((triple1 ((triple6) -> rule1)) -> rule5)) -> rule3)) -> rule6))] Bob is nice.[(triple3 OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple4) -> rule6)) -> rule7))] Bob is quiet.[(triple4 OR ((triple3 triple7) -> rule3) OR ((triple3 ((triple5) -> rule8)) -> rule3) OR ((triple3 ((triple1 triple5) -> rule5)) -> rule3) OR ((triple3 ((((triple6) -> rule1)) -> rule8)) -> rule3) OR ((triple3 ((triple1 ((triple6) -> rule1)) -> rule5)) -> rule3))] Bob is red.[(triple5 OR ((triple6) -> rule1) OR ((triple4 triple1) -> rule4) OR ((((triple3 triple7) -> rule3) triple1) -> rule4))] Bob is rough.[(triple6 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3 triple7) -> rule3) triple5) -> rule2) OR ((((triple3 triple7) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((triple4 ((((triple3 triple7) -> rule3) triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple5) -> rule8)) -> rule3) triple5) -> rule2) OR ((((triple3 ((triple1 triple5) -> rule5)) -> rule3) triple5) -> rule2) OR ((((triple3 triple7) -> rule3) ((((triple3 triple7) -> rule3) triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple5) -> rule8)) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple1 triple5) -> rule5)) -> rule3) ((triple4 triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple5) -> rule8)) -> rule3) ((((triple3 triple7) -> rule3) triple1) -> rule4)) -> rule2) OR ((((triple3 ((triple1 triple5) -> rule5)) -> rule3) ((((triple3 triple7) -> rule3) triple1) -> rule4)) -> rule2))] Bob is smart.[(triple7 OR ((triple5) -> rule8) OR ((triple1 triple5) -> rule5) OR ((((triple6) -> rule1)) -> rule8) OR ((((triple4 triple1) -> rule4)) -> rule8) OR ((triple1 ((triple6) -> rule1)) -> rule5) OR ((triple1 ((triple4 triple1) -> rule4)) -> rule5))] Gary is nice.[(triple8)] Gary is red.[(triple9 OR ((triple10) -> rule1))] Gary is rough.[(triple10 OR ((((triple8 ((triple9) -> rule8)) -> rule3) triple9) -> rule2))] @1: Gary is smart.[(((triple9) -> rule8) OR ((((triple10) -> rule1)) -> rule8))] @2: Gary is quiet.[(((triple8 ((triple9) -> rule8)) -> rule3) OR ((triple8 ((((triple10) -> rule1)) -> rule8)) -> rule3))] @3: Gary is kind.[(((((triple8 ((triple9) -> rule8)) -> rule3)) -> rule6) OR ((((triple8 ((((triple10) -> rule1)) -> rule8)) -> rule3)) -> rule6))]