Bob is cold. Bob is green. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Dave is young. Erin is kind. Erin is nice. Erin is quiet. Harry is green. Harry is nice. Harry is white. If something is green and nice then it is cold. All cold, kind things are green.
Bob is nice.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Dave is cold.[(triple3 OR ((triple4 triple6) -> rule1))] Dave is green.[(triple4 OR ((triple3 triple5) -> rule2))] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is white.[(triple15)] @1: Harry is cold.[(((triple13 triple14) -> rule1))]