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