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