Anne is big. Anne is furry. Charlie is red. Fiona is cold. Fiona is smart. Gary is big. Gary is furry. If Fiona is smart then Fiona is quiet. Big things are nice. All quiet, smart things are big.
Gary is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is red.[(triple3)] Fiona is cold.[(triple4)] Fiona is smart.[(triple5)] Gary is big.[(triple6)] Gary is furry.[(triple7)] @1: Anne is nice.[(((triple1) -> rule2))] Fiona is quiet.[(((triple5) -> rule1))] Gary is nice.[(((triple6) -> rule2))] @2: Fiona is big.[(((((triple5) -> rule1) triple5) -> rule3))] @3: Fiona is nice.[(((((((triple5) -> rule1) triple5) -> rule3)) -> rule2))]