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