The cat is cold. The cat is green. The cat is nice. The cat likes the mouse. The cat needs the mouse. The cat visits the mouse. The mouse is cold. The mouse likes the cat. The mouse needs the cat. The mouse visits the cat. If something needs the mouse then it visits the cat. If something is nice then it needs the cat. If something visits the cat then the cat is cold. If something is cold and nice then it needs the mouse. If something likes the cat and it likes the mouse then the mouse needs the cat. If something likes the mouse and the mouse needs the cat then the cat visits the mouse.
The cat is nice.
@0: The cat is cold.[(triple1 OR ((triple10) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat likes the mouse.[(triple4)] The cat needs the mouse.[(triple5 OR ((triple1 triple3) -> rule4) OR ((((triple10) -> rule3) triple3) -> rule4))] The cat visits the mouse.[(triple6 OR ((triple4 triple9) -> rule6))] The mouse is cold.[(triple7)] The mouse likes the cat.[(triple8)] The mouse needs the cat.[(triple9)] The mouse visits the cat.[(triple10)] @1: The cat needs the cat.[(((triple3) -> rule2))] The cat visits the cat.[(((triple5) -> rule1) OR ((((triple1 triple3) -> rule4)) -> rule1) OR ((((((triple10) -> rule3) triple3) -> rule4)) -> rule1))]