Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is white. Charlie is young. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is young. If Harry is furry then Harry is white. If Charlie is green and Charlie is young then Charlie is furry. All young things are green.
Harry is young.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((((triple6) -> rule3) triple6) -> rule2))] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is white.[(triple5)] Charlie is young.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((triple12) -> rule3))] Harry is kind.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Charlie is green.[(((triple6) -> rule3))] Harry is white.[(((triple8) -> rule1))]