Bob is big. Bob is blue. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is white. Kind people are red. Red people are rough. If Bob is blue and Bob is not kind then Bob is not big. If someone is rough and white then they are round. Kind people are round. White people are round. Kind people are big. If Bob is red then Bob is rough.
Bob is white.
@0: Bob is big.[(triple1 OR ((triple3) -> rule7))] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((triple3) -> rule1))] Bob is rough.[(triple5 OR ((triple4) -> rule2) OR ((triple4) -> rule8) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule8))] Bob is round.[(triple6 OR ((triple3) -> rule5) OR ((triple7) -> rule6) OR ((triple5 triple7) -> rule4) OR ((((triple4) -> rule2) triple7) -> rule4) OR ((((triple4) -> rule8) triple7) -> rule4) OR ((((((triple3) -> rule1)) -> rule2) triple7) -> rule4) OR ((((((triple3) -> rule1)) -> rule8) triple7) -> rule4))] Bob is white.[(triple7)]