Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is white. Fiona is cold. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is round. Gary is white. If someone is red then they are white. If Fiona is cold and Fiona is big then Fiona is red.
Fiona is furry.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6 OR ((triple5) -> rule1))] Fiona is cold.[(triple7)] Fiona is white.[(triple8)] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((triple13) -> rule1))]