Anne is nice. Charlie is blue. Charlie is kind. Charlie is round. Erin is rough. Fiona is kind. Fiona is round. If Anne is round and Anne is not blue then Anne is not red. Round people are rough. If someone is kind and not red then they are big. Rough, round people are big. If someone is round and big then they are not nice. If someone is red and round then they are nice.
Anne is not rough.
@0: Anne is nice.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is round.[(triple4)] Erin is rough.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] @1: Charlie is rough.[(((triple4) -> rule2))] Fiona is rough.[(((triple7) -> rule2))] @2: Charlie is big.[(((((triple4) -> rule2) triple4) -> rule4))] Fiona is big.[(((((triple7) -> rule2) triple7) -> rule4))] @3: Charlie is not nice.[(((triple4 ((((triple4) -> rule2) triple4) -> rule4)) -> rule5))] Fiona is not nice.[(((triple7 ((((triple7) -> rule2) triple7) -> rule4)) -> rule5))]