The cow eats the dog. The cow eats the mouse. The cow is blue. The cow is nice. The cow does not like the mouse. The cow sees the mouse. The dog eats the cow. The dog is blue. The dog is round. The dog sees the tiger. The mouse is kind. The mouse likes the cow. The mouse sees the cow. The tiger is not nice. The tiger does not like the mouse. The tiger sees the mouse. If someone is round then they are nice. If someone is green then they like the tiger. If someone likes the tiger then the tiger sees the cow. If someone sees the mouse and they do not like the mouse then the mouse is blue. If someone is nice then they eat the dog. If the tiger is nice then the tiger does not like the cow. If someone is round and they eat the dog then they are green. If someone eats the cow then they like the cow.
The mouse eats the dog.
@0: The cow does not like the mouse.[(triple5)] The cow eats the dog.[(triple1 OR ((triple4) -> rule5))] The cow eats the mouse.[(triple2)] The cow is blue.[(triple3)] The cow is nice.[(triple4)] The cow sees the mouse.[(triple6)] The dog eats the cow.[(triple7)] The dog is blue.[(triple8)] The dog is round.[(triple9)] The dog sees the tiger.[(triple10)] The mouse is kind.[(triple11)] The mouse likes the cow.[(triple12)] The mouse sees the cow.[(triple13)] The tiger does not like the mouse.[(triple15)] The tiger is not nice.[(triple14)] The tiger sees the mouse.[(triple16)] @1: The dog is nice.[(((triple9) -> rule1))] The dog likes the cow.[(((triple7) -> rule8))] The mouse is blue.[(((triple16 triple15) -> rule4) OR ((triple6 triple5) -> rule4))] @2: The dog eats the dog.[(((((triple9) -> rule1)) -> rule5))] @3: The dog is green.[(((triple9 ((((triple9) -> rule1)) -> rule5)) -> rule7))] @4: The dog likes the tiger.[(((((triple9 ((((triple9) -> rule1)) -> rule5)) -> rule7)) -> rule2))] @5: The tiger sees the cow.[(((((((triple9 ((((triple9) -> rule1)) -> rule5)) -> rule7)) -> rule2)) -> rule3))]