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