Bob is big. Bob is blue. Bob is not furry. Bob is green. Bob is nice. Bob is red. Bob is smart. If Bob is smart then Bob is nice. If Bob is big and Bob is nice then Bob is red. If something is blue and not smart then it is big. If something is furry and not smart then it is big. All red, smart things are blue. If Bob is not big and Bob is not red then Bob is green.
Bob is not blue.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple6 triple7) -> rule5) OR ((((triple1 triple5) -> rule2) triple7) -> rule5) OR ((((triple1 ((triple7) -> rule1)) -> rule2) triple7) -> rule5))] Bob is green.[(triple4)] Bob is nice.[(triple5 OR ((triple7) -> rule1))] Bob is not furry.[(triple3)] Bob is red.[(triple6 OR ((triple1 triple5) -> rule2) OR ((triple1 ((triple7) -> rule1)) -> rule2))] Bob is smart.[(triple7)]