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