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