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