Anne is big. Anne is green. Anne is quiet. Anne is white. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is white. All kind, white things are cold. If something is cold then it is white. If something is white and furry then it is quiet. If something is furry then it is green. If something is white then it is green. If something is quiet then it is green. All green things are quiet. Cold, big things are white.
Harry is not cold.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple3) -> rule6) OR ((triple4) -> rule5))] Anne is quiet.[(triple3 OR ((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] Anne is white.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7 OR ((((triple8) -> rule5)) -> rule7))] Charlie is white.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10 OR ((triple13 triple15) -> rule1))] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple11) -> rule4) OR ((triple14) -> rule6) OR ((triple15) -> rule5) OR ((((triple10) -> rule2)) -> rule5) OR ((((triple10 triple9) -> rule8)) -> rule5) OR ((((triple15 triple11) -> rule3)) -> rule6) OR ((((((triple10) -> rule2) triple11) -> rule3)) -> rule6) OR ((((((triple10 triple9) -> rule8) triple11) -> rule3)) -> rule6))] Harry is kind.[(triple13)] Harry is quiet.[(triple14 OR ((triple12) -> rule7) OR ((triple15 triple11) -> rule3) OR ((((triple11) -> rule4)) -> rule7) OR ((((triple15) -> rule5)) -> rule7) OR ((((triple10) -> rule2) triple11) -> rule3) OR ((((triple10 triple9) -> rule8) triple11) -> rule3) OR ((((((triple10) -> rule2)) -> rule5)) -> rule7) OR ((((((triple10 triple9) -> rule8)) -> rule5)) -> rule7))] Harry is white.[(triple15 OR ((triple10) -> rule2) OR ((triple10 triple9) -> rule8))] @1: Charlie is cold.[(((triple6 triple8) -> rule1))] Charlie is green.[(((triple7) -> rule6) OR ((triple8) -> rule5))]