Charlie is big. Charlie is furry. Dave is nice. Erin is nice. Erin is white. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is white. Big people are green. If Dave is green then Dave is big.
Fiona is blue.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Dave is nice.[(triple3)] Erin is nice.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is green.[(triple8 OR ((triple6) -> rule1))] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is green.[(((triple1) -> rule1))]