Harry is big. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. If Harry is rough and Harry is red then Harry is big. If something is rough then it is red. If something is quiet then it is round. All quiet things are red. All quiet, big things are red. If something is rough and furry then it is big. If something is big and round then it is furry. Round things are big.
Harry is not rough.
@0: Harry is big.[(triple1 OR ((triple7) -> rule8) OR ((triple6 triple2) -> rule6) OR ((triple6 triple5) -> rule1) OR ((((triple4) -> rule3)) -> rule8) OR ((triple6 ((triple4) -> rule4)) -> rule1) OR ((triple6 ((triple6) -> rule2)) -> rule1))] Harry is furry.[(triple2 OR ((triple1 triple7) -> rule7) OR ((triple1 ((triple4) -> rule3)) -> rule7) OR ((((triple7) -> rule8) triple7) -> rule7) OR ((((triple6 triple5) -> rule1) triple7) -> rule7) OR ((((triple7) -> rule8) ((triple4) -> rule3)) -> rule7) OR ((((triple6 triple5) -> rule1) ((triple4) -> rule3)) -> rule7) OR ((((((triple4) -> rule3)) -> rule8) triple7) -> rule7) OR ((((triple6 ((triple4) -> rule4)) -> rule1) triple7) -> rule7) OR ((((triple6 ((triple6) -> rule2)) -> rule1) triple7) -> rule7) OR ((((((triple4) -> rule3)) -> rule8) ((triple4) -> rule3)) -> rule7) OR ((((triple6 ((triple4) -> rule4)) -> rule1) ((triple4) -> rule3)) -> rule7) OR ((((triple6 ((triple6) -> rule2)) -> rule1) ((triple4) -> rule3)) -> rule7))] Harry is nice.[(triple3)] Harry is quiet.[(triple4)] Harry is red.[(triple5 OR ((triple4) -> rule4) OR ((triple6) -> rule2) OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple7) -> rule8)) -> rule5) OR ((triple4 ((triple6 triple2) -> rule6)) -> rule5) OR ((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule5))] Harry is rough.[(triple6)] Harry is round.[(triple7 OR ((triple4) -> rule3))]