Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. White people are rough. All rough people are furry. Rough people are round. If someone is white and not rough then they are not quiet. All white people are cold. If someone is round and not nice then they are not cold. If someone is white and quiet then they are cold. If someone is white and nice then they are cold.
Harry is quiet.
@0: Harry is cold.[(triple1 OR ((triple7) -> rule5) OR ((triple7 triple3) -> rule8) OR ((triple7 triple4) -> rule7))] Harry is furry.[(triple2 OR ((triple5) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Harry is nice.[(triple3)] Harry is quiet.[(triple4)] Harry is rough.[(triple5 OR ((triple7) -> rule1))] Harry is round.[(triple6 OR ((triple5) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Harry is white.[(triple7)]