Anne is round. Dave is young. Erin is not young. Fiona is not round. If Anne is smart and Anne is not round then Anne is big. Round people are big. If someone is nice and not round then they are smart. If Dave is red and Dave is not big then Dave is smart. If someone is smart and not round then they are cold. Nice, cold people are red. Nice people are red. If someone is young and not big then they are not red.
Anne is not big.
@0: Anne is round.[(triple1)] Dave is young.[(triple2)] Erin is not young.[(triple3)] Fiona is not round.[(triple4)] @1: Anne is big.[(((triple1) -> rule2))]