The dog is not blue. The dog is round. The dog likes the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is blue. The tiger does not visit the dog. If the tiger visits the dog then the tiger sees the dog. If the tiger is kind then the tiger likes the dog. All blue people are round. If someone sees the dog then they are not kind. If someone likes the tiger then they visit the tiger. If someone is round then they see the tiger. If someone visits the tiger then they visit the dog. If someone sees the tiger and the tiger does not visit the dog then they are not green.
The tiger does not like the tiger.
@0: The dog is not blue.[(triple1)] The dog is round.[(triple2)] The dog likes the tiger.[(triple3)] The dog sees the tiger.[(triple4 OR ((triple2) -> rule6))] The dog visits the tiger.[(triple5 OR ((triple3) -> rule5))] The tiger does not visit the dog.[(triple7)] The tiger is blue.[(triple6)] @1: The dog is not green.[(((triple4 triple7) -> rule8) OR ((((triple2) -> rule6) triple7) -> rule8))] The dog visits the dog.[(((triple5) -> rule7) OR ((((triple3) -> rule5)) -> rule7))] The tiger is round.[(((triple6) -> rule3))] @2: The tiger sees the tiger.[(((((triple6) -> rule3)) -> rule6))] @3: The tiger is not green.[(((((((triple6) -> rule3)) -> rule6) triple7) -> rule8))]