The cat is cold. The cat is not red. The lion needs the cat. The lion sees the cat. The mouse is red. The mouse needs the cat. The mouse sees the lion. If the lion is kind and the mouse does not like the lion then the lion is cold. If someone likes the cat and they do not see the mouse then the mouse likes the cat. If someone is rough then they do not see the cat. If someone likes the cat and the cat is not red then they like the mouse. If someone is red then they like the cat. If someone sees the cat then the cat needs the lion.
The mouse likes the mouse.
@0: The cat is cold.[(triple1)] The cat is not red.[(triple2)] The lion needs the cat.[(triple3)] The lion sees the cat.[(triple4)] The mouse is red.[(triple5)] The mouse needs the cat.[(triple6)] The mouse sees the lion.[(triple7)] @1: The cat needs the lion.[(((triple4) -> rule6))] The mouse likes the cat.[(((triple5) -> rule5))] @2: The mouse likes the mouse.[(((((triple5) -> rule5) triple2) -> rule4))]