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