The cat is young. The cat visits the mouse. The cow is cold. The cow likes the lion. The lion is cold. The lion likes the cat. The lion needs the mouse. The lion visits the mouse. The mouse is cold. The mouse is red. The mouse is young. The mouse likes the cat. The mouse needs the cat. The mouse needs the cow. If something needs the cat and the cat is red then it is blue. Blue things are red. If something likes the mouse and the mouse likes the cat then the cat is blue. If something is cold and red then it likes the mouse. If something needs the cow and it is cold then it is young. If something is nice then it visits the lion. If something needs the lion then it likes the cat. If something visits the cat and it likes the lion then the cat is blue. If something is cold and blue then it needs the lion.
The mouse is not young.
@0: The cat is young.[(triple1)] The cat visits the mouse.[(triple2)] The cow is cold.[(triple3)] The cow likes the lion.[(triple4)] The lion is cold.[(triple5)] The lion likes the cat.[(triple6)] The lion needs the mouse.[(triple7)] The lion visits the mouse.[(triple8)] The mouse is cold.[(triple9)] The mouse is red.[(triple10)] The mouse is young.[(triple11 OR ((triple14 triple9) -> rule5))] The mouse likes the cat.[(triple12)] The mouse needs the cat.[(triple13)] The mouse needs the cow.[(triple14)] @1: The mouse likes the mouse.[(((triple9 triple10) -> rule4))] @2: The cat is blue.[(((((triple9 triple10) -> rule4) triple12) -> rule3))] @3: The cat is red.[(((((((triple9 triple10) -> rule4) triple12) -> rule3)) -> rule2))] @4: The mouse is blue.[(((triple13 ((((((triple9 triple10) -> rule4) triple12) -> rule3)) -> rule2)) -> rule1))] @5: The mouse needs the lion.[(((triple9 ((triple13 ((((((triple9 triple10) -> rule4) triple12) -> rule3)) -> rule2)) -> rule1)) -> rule9))]