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