Anne is blue. Anne is red. Anne is rough. Anne is round. Anne is young. Dave is not big. Dave is blue. Dave is nice. Dave is not red. Dave is rough. Dave is not young. Erin is big. Erin is blue. Erin is not red. Erin is not round. Erin is young. Red people are not big. If someone is red then they are not big. If Dave is red then Dave is big. Rough, big people are red. All nice people are round. If Dave is big then Dave is nice. If someone is rough and round then they are nice. If Erin is nice and Erin is big then Erin is not young.
Erin is not nice.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is young.[(triple5)] Dave is blue.[(triple7)] Dave is nice.[(triple8)] Dave is not big.[(triple6)] Dave is not red.[(triple9)] Dave is not young.[(triple11)] Dave is rough.[(triple10)] Erin is big.[(triple12)] Erin is blue.[(triple13)] Erin is not red.[(triple14)] Erin is not round.[(triple15)] Erin is young.[(triple16)] @1: Anne is nice.[(((triple3 triple4) -> rule7))] Anne is not big.[(((triple2) -> rule1) OR ((triple2) -> rule2))] Dave is round.[(((triple8) -> rule5))]