Erin is big. Erin is kind. Erin is red. Fiona is big. Harry is not big. Harry is kind. Harry is quiet. Young things are red. All furry things are young. If something is quiet then it is not young.
Fiona is furry.
@0: Erin is big.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)] Harry is kind.[(triple6)] Harry is not big.[(triple5)] Harry is quiet.[(triple7)] @1: Harry is not young.[(((triple7) -> rule3))]