Erin is quiet. Erin is red. Fiona is big. Fiona is young. Harry is big. Harry is not green. Harry is kind. Harry is nice. Harry is quiet. Harry is not young. All young, green people are nice. If someone is young then they are red.
Erin is not quiet.
@0: Erin is quiet.[(triple1)] Erin is red.[(triple2)] Fiona is big.[(triple3)] Fiona is young.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is not green.[(triple6)] Harry is not young.[(triple10)] Harry is quiet.[(triple9)] @1: Fiona is red.[(((triple4) -> rule2))]