Anne is not big. Anne is not rough. Anne is white. Anne is young. Charlie is furry. Charlie is rough. Charlie is white. Charlie is young. Fiona is big. Fiona is rough. If Charlie is red and Charlie is cold then Charlie is not big. Furry things are red. If something is young and not rough then it is furry.
Charlie is cold.
@0: Anne is not big.[(triple1)] Anne is not rough.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Charlie is furry.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Fiona is big.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is furry.[(((triple4 triple2) -> rule3))] Charlie is red.[(((triple5) -> rule2))] @2: Anne is red.[(((((triple4 triple2) -> rule3)) -> rule2))]