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