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