Bob is big. Bob is cold. Bob is kind. If Bob is round then Bob is cold. Round, kind things are red. All round, cold things are furry. All big, smart things are red. All smart, kind things are furry. Big things are cold.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule6))] Bob is kind.[(triple3)]