Erin is not furry. Erin is green. Erin is quiet. Erin is red. Erin is not smart. Fiona is big. Fiona is quiet. Fiona is not red. Fiona is smart. Fiona is young. If something is big and furry then it is green. If Fiona is quiet then Fiona is furry.
Erin is not young.
@0: Erin is green.[(triple2)] Erin is not furry.[(triple1)] Erin is not smart.[(triple5)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Fiona is big.[(triple6)] Fiona is not red.[(triple8)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is furry.[(((triple7) -> rule2))] @2: Fiona is green.[(((triple6 ((triple7) -> rule2)) -> rule1))]