The cat is cold. The cat likes the mouse. The cat likes the rabbit. The cat does not see the rabbit. The cat does not visit the mouse. The mouse is kind. The mouse is red. The mouse likes the cat. The mouse does not see the rabbit. The mouse visits the rabbit. The rabbit sees the cat. The rabbit visits the mouse. If the rabbit is round and the rabbit does not visit the cat then the rabbit is not green. If something is red and it likes the rabbit then it is green. Cold things are red. If the mouse visits the rabbit then the mouse visits the cat. If something visits the rabbit then it is cold. If something visits the cat then it likes the rabbit.
The cat likes the cat.
@0: The cat does not see the rabbit.[(triple4)] The cat does not visit the mouse.[(triple5)] The cat is cold.[(triple1)] The cat likes the mouse.[(triple2)] The cat likes the rabbit.[(triple3)] The mouse does not see the rabbit.[(triple9)] The mouse is kind.[(triple6)] The mouse is red.[(triple7 OR ((((triple10) -> rule5)) -> rule3))] The mouse likes the cat.[(triple8)] The mouse visits the rabbit.[(triple10)] The rabbit sees the cat.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The cat is red.[(((triple1) -> rule3))] The mouse is cold.[(((triple10) -> rule5))] The mouse visits the cat.[(((triple10) -> rule4))] @2: The cat is green.[(((((triple1) -> rule3) triple3) -> rule2))] The mouse likes the rabbit.[(((((triple10) -> rule4)) -> rule6))] @3: The mouse is green.[(((triple7 ((((triple10) -> rule4)) -> rule6)) -> rule2) OR ((((((triple10) -> rule5)) -> rule3) ((((triple10) -> rule4)) -> rule6)) -> rule2))]