Harry is furry. Harry is red. Harry is round. If someone is red then they are furry. Kind people are quiet. Red people are big. If someone is furry and round then they are kind. Red people are quiet. Furry, red people are cold. Furry, red people are quiet. If Harry is big and Harry is round then Harry is cold.
Harry is round.
@0: Harry is furry.[(triple1 OR ((triple2) -> rule1))] Harry is red.[(triple2)] Harry is round.[(triple3)] @1: Harry is big.[(((triple2) -> rule3))] Harry is cold.[(((triple1 triple2) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule6) OR ((((triple2) -> rule3) triple3) -> rule8))] Harry is kind.[(((triple1 triple3) -> rule4) OR ((((triple2) -> rule1) triple3) -> rule4))] Harry is quiet.[(((triple2) -> rule5) OR ((triple1 triple2) -> rule7) OR ((((triple1 triple3) -> rule4)) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule7) OR ((((((triple2) -> rule1) triple3) -> rule4)) -> rule2))]