Anne is green. Anne is rough. Anne is smart. Anne is white. Charlie is furry. Charlie is green. Charlie is smart. Charlie is white. Erin is big. Erin is furry. Erin is quiet. Erin is smart. If Erin is big then Erin is furry.
Erin is furry.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Erin is big.[(triple9)] Erin is furry.[(triple10 OR ((triple9) -> rule1))] Erin is quiet.[(triple11)] Erin is smart.[(triple12)]