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