Anne is green. Erin is smart. Fiona is not smart. Furry, green people are quiet. Round, green people are quiet. All furry people are young. If Erin is smart then Erin is big. If Fiona is big then Fiona is green. If someone is big and not round then they are not green. If Erin is round and Erin is green then Erin is not smart. All big people are smart.
Erin is big.
@0: Anne is green.[(triple1)] Erin is smart.[(triple2)] Fiona is not smart.[(triple3)] @1: Erin is big.[(((triple2) -> rule4))]