Bob is cold. Bob is kind. Bob is red. Bob is round. Erin is big. Fiona is big. Fiona is cold. Fiona is nice. Gary is big. Gary is blue. Gary is nice. Gary is red. All cold people are nice.
Gary is big.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Erin is big.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8 OR ((triple7) -> rule1))] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] @1: Bob is nice.[(((triple1) -> rule1))]