Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is not red. Bob is white. Red, furry things are nice. If something is red then it is nice. If Bob is furry then Bob is big. If something is red and not cold then it is white. If something is red and not cold then it is not white. If something is nice and not blue then it is not red.
Bob is not nice.
@0: Bob is big.[(triple1 OR ((triple4) -> rule3))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is nice.[(triple5)] Bob is not red.[(triple6)] Bob is white.[(triple7)]