The cow is not nice. The cow visits the mouse. The cow visits the tiger. The mouse is big. The mouse is cold. The mouse is kind. The mouse needs the cow. The mouse sees the cow. The mouse sees the tiger. The mouse visits the cow. The mouse visits the tiger. The tiger needs the cow. The tiger needs the mouse. The tiger does not visit the cow. The tiger visits the mouse. If something visits the mouse and it is nice then it needs the tiger. If something visits the mouse then the mouse sees the cow. If something visits the cow then the cow needs the mouse. If something needs the mouse and the mouse does not need the cow then the mouse is not cold. If something is young and it sees the cow then the cow sees the tiger. If something sees the tiger then it is young. If the cow is nice then the cow is kind. If something sees the tiger and the tiger visits the cow then the tiger needs the mouse.
The mouse is young.
@0: The cow is not nice.[(triple1)] The cow visits the mouse.[(triple2)] The cow visits the tiger.[(triple3)] The mouse is big.[(triple4)] The mouse is cold.[(triple5)] The mouse is kind.[(triple6)] The mouse needs the cow.[(triple7)] The mouse sees the cow.[(triple8 OR ((triple15) -> rule2) OR ((triple2) -> rule2))] The mouse sees the tiger.[(triple9)] The mouse visits the cow.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger does not visit the cow.[(triple14)] The tiger needs the cow.[(triple12)] The tiger needs the mouse.[(triple13)] The tiger visits the mouse.[(triple15)] @1: The cow needs the mouse.[(((triple10) -> rule3))] The mouse is young.[(((triple9) -> rule6))] @2: The cow sees the tiger.[(((((triple9) -> rule6) triple8) -> rule5) OR ((((triple9) -> rule6) ((triple15) -> rule2)) -> rule5) OR ((((triple9) -> rule6) ((triple2) -> rule2)) -> rule5))] @3: The cow is young.[(((((((triple9) -> rule6) triple8) -> rule5)) -> rule6) OR ((((((triple9) -> rule6) ((triple15) -> rule2)) -> rule5)) -> rule6) OR ((((((triple9) -> rule6) ((triple2) -> rule2)) -> rule5)) -> rule6))]