Bob is blue. Bob is rough. Bob is young. Dave is blue. Dave is cold. Dave is quiet. Dave is rough. Dave is white. Dave is young. Fiona is blue. Fiona is rough. Fiona is white. Harry is kind. Harry is rough. Harry is white. Harry is young. If Fiona is blue and Fiona is rough then Fiona is cold. Quiet things are cold. If something is blue then it is young. If Harry is white then Harry is cold. If Harry is quiet then Harry is cold. All quiet, young things are cold.
Bob is not cold.
@0: Bob is blue.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3 OR ((triple1) -> rule3))] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple6) -> rule2) OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple4) -> rule3)) -> rule6))] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9 OR ((triple4) -> rule3))] Fiona is blue.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is cold.[(((triple10 triple11) -> rule1))] Fiona is young.[(((triple10) -> rule3))] Harry is cold.[(((triple15) -> rule4))]