The cat needs the tiger. The cat sees the mouse. The cat visits the tiger. The mouse is green. The mouse is nice. The mouse is red. The mouse needs the cat. The mouse does not need the tiger. The mouse sees the cat. The mouse does not see the tiger. The mouse visits the tiger. The tiger is nice. The tiger needs the cat. The tiger sees the mouse. The tiger visits the cat. The tiger visits the mouse. If something needs the cat then it sees the cat. If the mouse visits the tiger and the mouse sees the cat then the tiger is not red. If something is cold then it needs the cat. If something sees the cat and it visits the cat then the cat is cold. If something is nice and it sees the tiger then the tiger visits the cat. If something sees the tiger and it does not visit the cat then it visits the mouse.
The mouse is not green.
@0: The cat needs the tiger.[(triple1)] The cat sees the mouse.[(triple2)] The cat visits the tiger.[(triple3)] The mouse does not need the tiger.[(triple8)] The mouse does not see the tiger.[(triple10)] The mouse is green.[(triple4)] The mouse is nice.[(triple5)] The mouse is red.[(triple6)] The mouse needs the cat.[(triple7)] The mouse sees the cat.[(triple9 OR ((triple7) -> rule1))] The mouse visits the tiger.[(triple11)] The tiger is nice.[(triple12)] The tiger needs the cat.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The tiger is not red.[(((triple11 triple9) -> rule2) OR ((triple11 ((triple7) -> rule1)) -> rule2))] The tiger sees the cat.[(((triple13) -> rule1))] @2: The cat is cold.[(((((triple13) -> rule1) triple15) -> rule4))] @3: The cat needs the cat.[(((((((triple13) -> rule1) triple15) -> rule4)) -> rule3))] @4: The cat sees the cat.[(((((((((triple13) -> rule1) triple15) -> rule4)) -> rule3)) -> rule1))]