Harry is blue. Harry is furry. Harry is not kind. Harry is nice. Harry is quiet. Harry is smart. Harry is white. If someone is white and not kind then they are smart. All quiet, blue people are smart. If someone is white then they are smart. If Harry is not furry and Harry is not kind then Harry is quiet. If Harry is blue and Harry is smart then Harry is nice. All furry people are blue.
Harry is quiet.
@0: Harry is blue.[(triple1 OR ((triple2) -> rule6))] Harry is furry.[(triple2)] Harry is nice.[(triple4 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple7) -> rule3)) -> rule5) OR ((triple1 ((triple5 triple1) -> rule2)) -> rule5) OR ((triple1 ((triple7 triple3) -> rule1)) -> rule5) OR ((((triple2) -> rule6) triple6) -> rule5) OR ((((triple2) -> rule6) ((triple7) -> rule3)) -> rule5) OR ((((triple2) -> rule6) ((triple5 triple1) -> rule2)) -> rule5) OR ((((triple2) -> rule6) ((triple7 triple3) -> rule1)) -> rule5) OR ((triple1 ((triple5 ((triple2) -> rule6)) -> rule2)) -> rule5) OR ((((triple2) -> rule6) ((triple5 ((triple2) -> rule6)) -> rule2)) -> rule5))] Harry is not kind.[(triple3)] Harry is quiet.[(triple5)] Harry is smart.[(triple6 OR ((triple7) -> rule3) OR ((triple5 triple1) -> rule2) OR ((triple7 triple3) -> rule1) OR ((triple5 ((triple2) -> rule6)) -> rule2))] Harry is white.[(triple7)]