Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is rough. Dave is blue. Dave is nice. Dave is red. Dave is smart. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is smart. If someone is rough and nice then they are cold. If someone is nice then they are rough.
Harry is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple5 triple3) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple3) -> rule2))] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((((triple13) -> rule2) triple13) -> rule1))] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15)] @1: Dave is rough.[(((triple7) -> rule2))] Harry is rough.[(((triple13) -> rule2))] @2: Dave is cold.[(((((triple7) -> rule2) triple7) -> rule1))]