Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is smart. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is smart. If Fiona is smart then Fiona is big.
Fiona is furry.
@0: Fiona is big.[(triple1 OR ((triple5) -> rule1))] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is smart.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)]