The cat is blue. The cat is green. The cat is kind. The cat is nice. The cat is young. The cat likes the mouse. The cat sees the mouse. The cat visits the mouse. The mouse is blue. The mouse likes the cat. The mouse sees the cat. The mouse visits the cat. If someone is green then they like the cat. If someone is kind then they like the mouse. If someone sees the cat and the cat sees the mouse then the mouse is blue. If someone likes the mouse and the mouse is blue then they visit the mouse. If the mouse likes the cat then the mouse is kind. If someone likes the cat then they visit the cat.
The mouse is not kind.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is young.[(triple5)] The cat likes the mouse.[(triple6 OR ((triple3) -> rule2))] The cat sees the mouse.[(triple7)] The cat visits the mouse.[(triple8 OR ((triple6 triple9) -> rule4) OR ((triple6 ((triple11 triple7) -> rule3)) -> rule4) OR ((((triple3) -> rule2) triple9) -> rule4) OR ((((triple3) -> rule2) ((triple11 triple7) -> rule3)) -> rule4))] The mouse is blue.[(triple9 OR ((triple11 triple7) -> rule3))] The mouse likes the cat.[(triple10)] The mouse sees the cat.[(triple11)] The mouse visits the cat.[(triple12 OR ((triple10) -> rule6))] @1: The cat likes the cat.[(((triple2) -> rule1))] The mouse is kind.[(((triple10) -> rule5))] @2: The cat visits the cat.[(((((triple2) -> rule1)) -> rule6))] The mouse likes the mouse.[(((((triple10) -> rule5)) -> rule2))] @3: The mouse visits the mouse.[(((((((triple10) -> rule5)) -> rule2) triple9) -> rule4) OR ((((((triple10) -> rule5)) -> rule2) ((triple11 triple7) -> rule3)) -> rule4))]