Anne is cold. Anne is kind. Anne is red. Anne is smart. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Erin is red. Erin is smart. Erin is young. Harry is cold. Harry is kind. Harry is smart. Harry is young. All kind people are rough. All rough, cold people are red.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((((triple2) -> rule1) triple1) -> rule2))] Anne is smart.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is rough.[(triple8 OR ((triple6) -> rule1))] Erin is red.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Anne is rough.[(((triple2) -> rule1))] Dave is red.[(((triple8 triple5) -> rule2) OR ((((triple6) -> rule1) triple5) -> rule2))] Harry is rough.[(((triple13) -> rule1))] @2: Harry is red.[(((((triple13) -> rule1) triple12) -> rule2))]