The mouse is cold. The mouse is kind. The mouse is red. The mouse likes the tiger. The mouse sees the tiger. The mouse visits the tiger. The tiger is blue. The tiger likes the mouse. The tiger sees the mouse. The tiger visits the mouse. If something sees the mouse then it visits the tiger. If something is red then it visits the mouse. If something sees the tiger then it is red. If something is green and it visits the mouse then the mouse likes the tiger. If something sees the tiger and the tiger is green then it likes the tiger. All cold, kind things are green.
The tiger likes the mouse.
@0: The mouse is cold.[(triple1)] The mouse is kind.[(triple2)] The mouse is red.[(triple3 OR ((triple5) -> rule3))] The mouse likes the tiger.[(triple4 OR ((((triple1 triple2) -> rule6) ((triple3) -> rule2)) -> rule4) OR ((((triple1 triple2) -> rule6) ((((triple5) -> rule3)) -> rule2)) -> rule4))] The mouse sees the tiger.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger is blue.[(triple7)] The tiger likes the mouse.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse is green.[(((triple1 triple2) -> rule6))] The mouse visits the mouse.[(((triple3) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] The tiger visits the tiger.[(((triple9) -> rule1))]