Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. Bob is green. Bob is red. Bob is rough. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is young. Erin is green. Young things are green. If something is red and not green then it is not rough.
Dave is not round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple7) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Bob is green.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Dave is cold.[(triple11)] Dave is green.[(triple12 OR ((triple15) -> rule1))] Dave is nice.[(triple13)] Dave is rough.[(triple14)] Dave is young.[(triple15)] Erin is green.[(triple16)]