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