The cow is green. The cow is nice. The cow is red. The cow is round. The cow likes the tiger. The cow sees the tiger. The cow visits the tiger. The tiger is blue. The tiger is green. The tiger is nice. The tiger is not red. The tiger is not round. The tiger likes the cow. The tiger does not see the cow. The tiger visits the cow. If someone likes the cow then they visit the cow. If someone likes the tiger then the tiger does not see the cow. If someone is nice and they visit the tiger then they see the cow. If the tiger visits the cow and the cow visits the tiger then the cow is blue. If someone sees the cow then they like the cow. If someone visits the tiger and they do not visit the cow then the tiger is blue.
The cow sees the cow.
@0: The cow is green.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow likes the tiger.[(triple5)] The cow sees the tiger.[(triple6)] The cow visits the tiger.[(triple7)] The tiger does not see the cow.[(triple14 OR ((triple5) -> rule2))] The tiger is blue.[(triple8)] The tiger is green.[(triple9)] The tiger is nice.[(triple10)] The tiger is not red.[(triple11)] The tiger is not round.[(triple12)] The tiger likes the cow.[(triple13)] The tiger visits the cow.[(triple15 OR ((triple13) -> rule1))] @1: The cow is blue.[(((triple15 triple7) -> rule4) OR ((((triple13) -> rule1) triple7) -> rule4))] The cow sees the cow.[(((triple2 triple7) -> rule3))] @2: The cow likes the cow.[(((((triple2 triple7) -> rule3)) -> rule5))] @3: The cow visits the cow.[(((((((triple2 triple7) -> rule3)) -> rule5)) -> rule1))]