Fiona is big. Fiona is not cold. Fiona is furry. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Gary is cold. Harry is big. Harry is cold. Harry is kind. Harry is smart. Kind, cold things are smart. If Harry is big and Harry is not furry then Harry is smart.
Harry is furry.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is not cold.[(triple2)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is cold.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple10) -> rule1))]