Bob is furry. Bob is nice. Bob is quiet. Bob is rough. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is young. Rough things are cold. All round, quiet things are furry. If something is cold and rough then it is young. Round, furry things are rough. Young, quiet things are round. All round things are cold. All young things are round. All cold, nice things are furry.
Harry is not rough.
@0: Bob is furry.[(triple1 OR ((((triple4) -> rule1) triple2) -> rule8) OR ((((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) triple3) -> rule2) OR ((((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5) triple3) -> rule2))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Harry is cold.[(triple5 OR ((triple9) -> rule6) OR ((((triple10) -> rule7)) -> rule6) OR ((((triple10 triple8) -> rule5)) -> rule6) OR ((((triple9 triple6) -> rule4)) -> rule1) OR ((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) triple6) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) triple6) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple10) -> rule7) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule7) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule5) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4)) -> rule1))] Harry is furry.[(triple6 OR ((triple5 triple7) -> rule8) OR ((triple9 triple8) -> rule2) OR ((((triple10) -> rule7) triple8) -> rule2) OR ((((triple9) -> rule6) triple7) -> rule8) OR ((((triple10 triple8) -> rule5) triple8) -> rule2) OR ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8) OR ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8))] Harry is nice.[(triple7)] Harry is quiet.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule7) OR ((triple10 triple8) -> rule5))] Harry is young.[(triple10 OR ((triple5 ((triple9 triple6) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 triple6) -> rule4)) -> rule3) OR ((triple5 ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((triple5 ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 triple6) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((triple5 ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 triple6) -> rule4)) -> rule3) OR ((((((triple9 triple6) -> rule4)) -> rule1) ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 ((triple5 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule2)) -> rule4)) -> rule1) ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4)) -> rule3))] @1: Bob is cold.[(((triple4) -> rule1))] Harry is rough.[(((triple9 triple6) -> rule4) OR ((triple9 ((triple5 triple7) -> rule8)) -> rule4) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) triple6) -> rule4) OR ((((triple10 triple8) -> rule5) triple6) -> rule4) OR ((((triple10) -> rule7) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((triple9 triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple5 triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((triple9 triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((triple9 ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10) -> rule7) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10) -> rule7) triple8) -> rule2)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((triple10 triple8) -> rule5) triple8) -> rule2)) -> rule4) OR ((triple9 ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((triple9 ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10) -> rule7) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10) -> rule7)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple10 triple8) -> rule5) ((((((triple10 triple8) -> rule5)) -> rule6) triple7) -> rule8)) -> rule4))] @2: Bob is young.[(((((triple4) -> rule1) triple4) -> rule3))] @3: Bob is round.[(((((((triple4) -> rule1) triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule1) triple4) -> rule3) triple3) -> rule5))]