Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is quiet. Gary is cold. Gary is nice. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Harry is white. Smart, nice things are cold. If Charlie is red and Charlie is quiet then Charlie is white. Quiet, white things are cold.
Harry is not smart.
@0: Bob is cold.[(triple1 OR ((triple5 triple3) -> rule1))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Charlie is quiet.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Harry is cold.[(((triple12 triple15) -> rule3) OR ((triple14 triple11) -> rule1))]