Anne is green. Anne is red. Anne is round. Anne is young. Bob is cold. Erin is not green. Erin is not nice. Young, cold people are not round. All nice, rough people are young. If Anne is green then Anne is young. Nice people are not rough. If someone is nice then they are green. If someone is cold and not green then they are red. If Bob is green then Bob is red. If Bob is not green and Bob is not round then Bob is not red.
Erin is not young.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule3))] Bob is cold.[(triple5)] Erin is not green.[(triple6)] Erin is not nice.[(triple7)]