The cow is not green. The cow likes the tiger. The dog likes the cow. The dog likes the tiger. The dog sees the cow. The tiger is not big. The tiger is green. If someone is cold and nice then they see the cow. If someone is round and they see the cow then they do not see the tiger. If someone needs the tiger and the tiger sees the dog then they need the dog. If someone likes the tiger then the tiger sees the dog. If someone likes the tiger and they need the tiger then they are big. If someone sees the tiger then they are green. If the dog likes the cow then the dog needs the cow. If the tiger sees the dog and the dog likes the tiger then the tiger does not like the dog.
The cow likes the tiger.
@0: The cow is not green.[(triple1)] The cow likes the tiger.[(triple2)] The dog likes the cow.[(triple3)] The dog likes the tiger.[(triple4)] The dog sees the cow.[(triple5)] The tiger is green.[(triple7)] The tiger is not big.[(triple6)] @1: The dog needs the cow.[(((triple3) -> rule7))] The tiger sees the dog.[(((triple2) -> rule4) OR ((triple4) -> rule4))] @2: The tiger does not like the dog.[(((((triple2) -> rule4) triple4) -> rule8) OR ((((triple4) -> rule4) triple4) -> rule8))]