Anne is red. Anne is smart. Gary is not red. All smart people are furry. If Anne is smart then Anne is kind. Furry people are smart. If Anne is not red then Anne is big. If someone is young and not kind then they are not big. Quiet, smart people are big.
Anne is red.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Gary is not red.[(triple3)] @1: Anne is furry.[(((triple2) -> rule1))] Anne is kind.[(((triple2) -> rule2))]