Anne is big. Anne is blue. Anne is furry. Erin is not green. Erin is not smart. Fiona is not big. Gary is blue. If Erin is big and Erin is furry then Erin is blue. All round things are blue. All big things are not smart.
Anne is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Erin is not green.[(triple4)] Erin is not smart.[(triple5)] Fiona is not big.[(triple6)] Gary is blue.[(triple7)] @1: Anne is not smart.[(((triple1) -> rule3))]