Anne is big. Anne is green. Anne is nice. Anne is red. Anne is white. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is white. Dave is young. Erin is red. Erin is young. Fiona is nice. Fiona is rough. White things are nice. If Erin is white and Erin is rough then Erin is young.
Dave is red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple5) -> rule1))] Anne is red.[(triple4)] Anne is white.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8 OR ((triple11) -> rule1))] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] Erin is red.[(triple13)] Erin is young.[(triple14)] Fiona is nice.[(triple15)] Fiona is rough.[(triple16)]