Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. Harry is young. If Harry is young then Harry is furry. All furry, big people are kind. Cold people are big. Furry, kind people are smart. Big people are smart. All big, furry people are young.
Harry is young.
@0: Harry is big.[(triple1 OR ((triple2) -> rule3))] Harry is cold.[(triple2)] Harry is furry.[(triple3 OR ((triple7) -> rule1))] Harry is kind.[(triple4 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple2) -> rule3)) -> rule2) OR ((((triple7) -> rule1) triple1) -> rule2) OR ((((triple7) -> rule1) ((triple2) -> rule3)) -> rule2))] Harry is quiet.[(triple5)] Harry is smart.[(triple6 OR ((triple1) -> rule5) OR ((triple3 triple4) -> rule4) OR ((((triple2) -> rule3)) -> rule5) OR ((triple3 ((triple3 triple1) -> rule2)) -> rule4) OR ((((triple7) -> rule1) triple4) -> rule4) OR ((((triple7) -> rule1) ((triple3 triple1) -> rule2)) -> rule4) OR ((triple3 ((triple3 ((triple2) -> rule3)) -> rule2)) -> rule4) OR ((triple3 ((((triple7) -> rule1) triple1) -> rule2)) -> rule4) OR ((triple3 ((((triple7) -> rule1) ((triple2) -> rule3)) -> rule2)) -> rule4) OR ((((triple7) -> rule1) ((triple3 ((triple2) -> rule3)) -> rule2)) -> rule4) OR ((((triple7) -> rule1) ((((triple7) -> rule1) triple1) -> rule2)) -> rule4) OR ((((triple7) -> rule1) ((((triple7) -> rule1) ((triple2) -> rule3)) -> rule2)) -> rule4))] Harry is young.[(triple7 OR ((triple1 triple3) -> rule6) OR ((((triple2) -> rule3) triple3) -> rule6))]