Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is not rough. Bob is round. Bob is white. If Bob is red then Bob is white. Nice, white people are round. If Bob is not nice then Bob is big. Nice, round people are blue. If someone is red and white then they are blue. If someone is round and rough then they are blue. If Bob is rough then Bob is not round. If Bob is not white then Bob is rough.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple6) -> rule4) OR ((triple4 triple7) -> rule5) OR ((triple3 ((triple3 triple7) -> rule2)) -> rule4) OR ((triple4 ((triple4) -> rule1)) -> rule5) OR ((triple3 ((triple3 ((triple4) -> rule1)) -> rule2)) -> rule4))] Bob is nice.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple6 OR ((triple3 triple7) -> rule2) OR ((triple3 ((triple4) -> rule1)) -> rule2))] Bob is white.[(triple7 OR ((triple4) -> rule1))]