The cat likes the lion. The cat sees the mouse. The lion is cold. The lion is green. The lion is young. The mouse is cold. The mouse is rough. The mouse is young. The mouse likes the cat. The mouse sees the cat. If something likes the cat then the cat is cold. If something likes the mouse and it sees the mouse then the mouse needs the cat. If something likes the lion and the lion is cold then it is green. If something is cold then it likes the mouse. If something needs the cat and the cat likes the lion then the lion needs the mouse. If the mouse likes the cat and the cat sees the lion then the lion is cold.
The mouse needs the cat.
@0: The cat likes the lion.[(triple1)] The cat sees the mouse.[(triple2)] The lion is cold.[(triple3)] The lion is green.[(triple4)] The lion is young.[(triple5)] The mouse is cold.[(triple6)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] The mouse likes the cat.[(triple9)] The mouse sees the cat.[(triple10)] @1: The cat is cold.[(((triple9) -> rule1))] The cat is green.[(((triple1 triple3) -> rule3))] The lion likes the mouse.[(((triple3) -> rule4))] The mouse likes the mouse.[(((triple6) -> rule4))] @2: The cat likes the mouse.[(((((triple9) -> rule1)) -> rule4))] @3: The mouse needs the cat.[(((((((triple9) -> rule1)) -> rule4) triple2) -> rule2))] @4: The lion needs the mouse.[(((((((((triple9) -> rule1)) -> rule4) triple2) -> rule2) triple1) -> rule5))]