The cat is not red. The cat needs the mouse. The cat needs the tiger. The cow eats the cat. The cow is young. The mouse visits the cat. The tiger eats the cat. The tiger does not eat the cow. The tiger is red. The tiger does not visit the cat. The tiger visits the cow. The tiger visits the mouse. If the tiger visits the mouse then the mouse eats the tiger. If someone is young and they need the mouse then they eat the mouse. If someone eats the tiger then they are green. If someone is green then they are young. If someone is young then they need the mouse.
The cat is not cold.
@0: The cat is not red.[(triple1)] The cat needs the mouse.[(triple2)] The cat needs the tiger.[(triple3)] The cow eats the cat.[(triple4)] The cow is young.[(triple5)] The mouse visits the cat.[(triple6)] The tiger does not eat the cow.[(triple8)] The tiger does not visit the cat.[(triple10)] The tiger eats the cat.[(triple7)] The tiger is red.[(triple9)] The tiger visits the cow.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The cow needs the mouse.[(((triple5) -> rule5))] The mouse eats the tiger.[(((triple12) -> rule1))] @2: The cow eats the mouse.[(((triple5 ((triple5) -> rule5)) -> rule2))] The mouse is green.[(((((triple12) -> rule1)) -> rule3))] @3: The mouse is young.[(((((((triple12) -> rule1)) -> rule3)) -> rule4))] @4: The mouse needs the mouse.[(((((((((triple12) -> rule1)) -> rule3)) -> rule4)) -> rule5))] @5: The mouse eats the mouse.[(((((((((triple12) -> rule1)) -> rule3)) -> rule4) ((((((((triple12) -> rule1)) -> rule3)) -> rule4)) -> rule5)) -> rule2))]