Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is young. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is not rough. Harry is round. Harry is young. If Harry is round then Harry is blue. If something is round then it is blue. If something is cold and not nice then it is blue. If Harry is blue and Harry is not cold then Harry is young. If something is round and not cold then it is rough. Kind things are young. Nice things are young. If Harry is blue then Harry is kind.
Charlie is not kind.
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule2))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple3) -> rule6) OR ((triple4) -> rule7))] Harry is blue.[(triple8 OR ((triple13) -> rule1) OR ((triple13) -> rule2))] Harry is cold.[(triple9)] Harry is kind.[(triple10 OR ((triple8) -> rule8) OR ((((triple13) -> rule1)) -> rule8) OR ((((triple13) -> rule2)) -> rule8))] Harry is nice.[(triple11)] Harry is not rough.[(triple12)] Harry is round.[(triple13)] Harry is young.[(triple14 OR ((triple10) -> rule6) OR ((triple11) -> rule7) OR ((((triple8) -> rule8)) -> rule6) OR ((((((triple13) -> rule1)) -> rule8)) -> rule6) OR ((((((triple13) -> rule2)) -> rule8)) -> rule6))]