Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is young. Fiona is big. Fiona is green. Fiona is red. Fiona is rough. Fiona is young. If something is young and red then it is furry.
Erin is not big.
@0: Erin is furry.[(triple1 OR ((triple5 triple3) -> rule1))] Erin is green.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is furry.[(((triple10 triple8) -> rule1))]