Anne is not furry. Charlie is big. Charlie is round. Charlie is white. Erin is big. Erin is furry. Erin is round. Fiona is not blue. Fiona is not nice. Fiona is not young. If someone is nice and round then they are big. Nice people are young. If someone is big then they are nice. If someone is white then they are not furry. If someone is young then they are blue. If someone is young and not nice then they are blue.
Fiona is big.
@0: Anne is not furry.[(triple1)] Charlie is big.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is furry.[(triple6)] Erin is round.[(triple7)] Fiona is not blue.[(triple8)] Fiona is not nice.[(triple9)] Fiona is not young.[(triple10)] @1: Charlie is nice.[(((triple2) -> rule3))] Charlie is not furry.[(((triple4) -> rule4))] Erin is nice.[(((triple5) -> rule3))] @2: Charlie is young.[(((((triple2) -> rule3)) -> rule2))] Erin is young.[(((((triple5) -> rule3)) -> rule2))] @3: Charlie is blue.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))] Erin is blue.[(((((((triple5) -> rule3)) -> rule2)) -> rule5))]