Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is red. Bob is rough. Bob is white. If Bob is furry and Bob is blue then Bob is rough. All red things are white. White, furry things are red. If something is cold and blue then it is furry. If something is white and furry then it is rough. Big things are white.
Bob is not red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((triple3 triple2) -> rule4))] Bob is red.[(triple5 OR ((triple7 triple4) -> rule3) OR ((triple7 ((triple3 triple2) -> rule4)) -> rule3) OR ((((triple1) -> rule6) triple4) -> rule3) OR ((((triple1) -> rule6) ((triple3 triple2) -> rule4)) -> rule3))] Bob is rough.[(triple6 OR ((triple4 triple2) -> rule1) OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple3 triple2) -> rule4)) -> rule5) OR ((((triple1) -> rule6) triple4) -> rule5) OR ((((triple5) -> rule2) triple4) -> rule5) OR ((((triple3 triple2) -> rule4) triple2) -> rule1) OR ((((triple1) -> rule6) ((triple3 triple2) -> rule4)) -> rule5) OR ((((triple5) -> rule2) ((triple3 triple2) -> rule4)) -> rule5))] Bob is white.[(triple7 OR ((triple1) -> rule6) OR ((triple5) -> rule2))]