Bob is big. Bob is furry. Bob is green. Bob is not kind. Bob is red. Bob is round. Bob is young. Young people are furry. All kind people are not furry. Furry people are big. If Bob is kind then Bob is young. If Bob is kind then Bob is not young. If someone is kind and not young then they are green. If Bob is not big and Bob is not red then Bob is round. If Bob is red then Bob is round.
Bob is not furry.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Bob is furry.[(triple2 OR ((triple7) -> rule1))] Bob is green.[(triple3)] Bob is not kind.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple5) -> rule8))] Bob is young.[(triple7)]