Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. If Harry is nice then Harry is quiet. All nice people are white. All nice, green people are cold. All white people are quiet. If someone is quiet then they are nice. If someone is cold then they are round. Green people are young. Green people are quiet.
Harry is cold.
@0: Harry is cold.[(triple1 OR ((triple3 triple2) -> rule3) OR ((((triple4) -> rule5) triple2) -> rule3) OR ((((((triple2) -> rule8)) -> rule5) triple2) -> rule3) OR ((((((triple6) -> rule4)) -> rule5) triple2) -> rule3))] Harry is green.[(triple2)] Harry is nice.[(triple3 OR ((triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] Harry is quiet.[(triple4 OR ((triple2) -> rule8) OR ((triple3) -> rule1) OR ((triple6) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Harry is round.[(triple5 OR ((triple1) -> rule6) OR ((((triple3 triple2) -> rule3)) -> rule6) OR ((((((triple4) -> rule5) triple2) -> rule3)) -> rule6) OR ((((((((triple2) -> rule8)) -> rule5) triple2) -> rule3)) -> rule6) OR ((((((((triple6) -> rule4)) -> rule5) triple2) -> rule3)) -> rule6))] Harry is white.[(triple6 OR ((triple3) -> rule2) OR ((((triple4) -> rule5)) -> rule2) OR ((((((triple2) -> rule8)) -> rule5)) -> rule2))] Harry is young.[(triple7 OR ((triple2) -> rule7))]