Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. Quiet, rough things are cold. If Bob is white and Bob is quiet then Bob is red.
Harry is not cold.
@0: Bob is cold.[(triple1 OR ((triple3 triple5) -> rule1))] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple6 triple3) -> rule2))] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Harry is cold.[(triple8 OR ((triple10 triple12) -> rule1))] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]