Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is smart. All furry, red people are smart.
Fiona is nice.
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12 OR ((triple7 triple10) -> rule1))]