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