Charlie is furry. Charlie is kind. Charlie is round. Charlie is white. Erin is big. Erin is green. Erin is white. Fiona is big. Fiona is furry. Fiona is white. If something is round then it is big. All kind things are white. Kind, white things are furry.
Erin is big.
@0: Charlie is furry.[(triple1 OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple2) -> rule2)) -> rule3))] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4 OR ((triple2) -> rule2))] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is white.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is big.[(((triple3) -> rule1))]