Bob is not big. Bob is cold. Bob is not nice. Bob is red. Bob is rough. Bob is round. Bob is not smart. If something is nice then it is not round. All big things are cold. If Bob is cold then Bob is not nice.
Bob is not big.
@0: Bob is cold.[(triple2)] Bob is not big.[(triple1)] Bob is not nice.[(triple3 OR ((triple2) -> rule3))] Bob is not smart.[(triple7)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)]