Bob is big. Bob is furry. Bob is quiet. Dave is cold. Dave is quiet. Dave is round. Erin is big. Erin is furry. Erin is nice. Erin is smart. Fiona is cold. Fiona is smart. All round, quiet things are nice.
Fiona is nice.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Dave is cold.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is smart.[(triple10)] Fiona is cold.[(triple11)] Fiona is smart.[(triple12)] @1: Dave is nice.[(((triple6 triple5) -> rule1))]