Dave is nice. Erin is furry. Fiona is big. Fiona is white. Fiona is young. Harry is green. Harry is quiet. Furry people are quiet. If someone is big and quiet then they are white.
Fiona is big.
@0: Dave is nice.[(triple1)] Erin is furry.[(triple2)] Fiona is big.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is quiet.[(((triple2) -> rule1))]