Dave is blue. Dave is cold. Dave is kind. Dave is smart. Dave is young. Erin is cold. Erin is kind. Erin is nice. Erin is not rough. Erin is smart. Erin is young. Harry is blue. If someone is blue then they are smart. Blue, smart people are cold. If someone is blue and rough then they are young. If Harry is rough and Harry is not cold then Harry is not kind. If someone is kind and not cold then they are not rough. If someone is cold then they are not rough.
Harry is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))] Dave is kind.[(triple3)] Dave is smart.[(triple4 OR ((triple1) -> rule1))] Dave is young.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is not rough.[(triple9 OR ((triple6) -> rule6))] Erin is smart.[(triple10)] Erin is young.[(triple11)] Harry is blue.[(triple12)] @1: Dave is not rough.[(((triple2) -> rule6) OR ((((triple1 triple4) -> rule2)) -> rule6) OR ((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule6))] Harry is smart.[(((triple12) -> rule1))] @2: Harry is cold.[(((triple12 ((triple12) -> rule1)) -> rule2))] @3: Harry is not rough.[(((((triple12 ((triple12) -> rule1)) -> rule2)) -> rule6))]