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