Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is round. If someone is red and quiet then they are furry. If Bob is nice then Bob is round. Quiet, round people are rough. All quiet people are red. If someone is red and rough then they are nice. If someone is rough and cold then they are furry. If someone is nice then they are cold. If someone is furry and red then they are round.
Bob is not furry.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule7) OR ((((triple5 triple6) -> rule5)) -> rule7) OR ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7))] Bob is furry.[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple3) -> rule7)) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4 triple7) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6))] Bob is nice.[(triple3 OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple4 triple7) -> rule3)) -> rule5) OR ((((triple4) -> rule4) triple6) -> rule5) OR ((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple4) -> rule4))] Bob is rough.[(triple6 OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple3) -> rule2)) -> rule3) OR ((triple4 ((triple2 triple5) -> rule8)) -> rule3) OR ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3) OR ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3))] Bob is round.[(triple7 OR ((triple3) -> rule2) OR ((triple2 triple5) -> rule8) OR ((((triple5 triple6) -> rule5)) -> rule2) OR ((triple2 ((triple4) -> rule4)) -> rule8) OR ((((triple5 triple4) -> rule1) triple5) -> rule8) OR ((((triple6 triple1) -> rule6) triple5) -> rule8) OR ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple6 triple1) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((((triple4) -> rule4) triple6) -> rule5)) -> rule2) OR ((((triple6 ((triple3) -> rule7)) -> rule6) triple5) -> rule8) OR ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8) OR ((((triple6 ((triple3) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) triple5) -> rule8) OR ((((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) triple5) -> rule8) OR ((((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule8))]