Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Harry is white. If Harry is rough and Harry is kind then Harry is cold. If something is kind then it is smart. If Charlie is nice and Charlie is smart then Charlie is cold.
Charlie is quiet.
@0: Charlie is cold.[(triple1 OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple2) -> rule2)) -> rule3))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple2) -> rule2))] Charlie is white.[(triple7)] Harry is cold.[(triple8 OR ((triple12 triple9) -> rule1))] Harry is kind.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13 OR ((triple9) -> rule2))] Harry is white.[(triple14)]