The cat eats the mouse. The cat is green. The cat is red. The cat is young. The cat likes the mouse. The mouse eats the cat. The mouse is young. If someone is young and they visit the mouse then the mouse eats the cat. If someone eats the mouse then the mouse eats the cat. If someone eats the cat and the cat likes the mouse then the mouse eats the cat. If someone visits the cat and they like the mouse then they eat the mouse. All young people are kind. If the mouse eats the cat and the mouse is red then the cat is kind. If someone visits the mouse and they are young then they eat the cat. If someone is kind then they visit the mouse.
The cat does not eat the cat.
@0: The cat eats the mouse.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is young.[(triple4)] The cat likes the mouse.[(triple5)] The mouse eats the cat.[(triple6 OR ((triple1) -> rule2) OR ((triple4 ((((triple4) -> rule5)) -> rule8)) -> rule1) OR ((triple7 ((((triple7) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7) -> rule5)) -> rule8) triple7) -> rule7) OR ((((((((triple4) -> rule5)) -> rule8) triple4) -> rule7) triple5) -> rule3))] The mouse is young.[(triple7)] @1: The cat is kind.[(((triple4) -> rule5))] The mouse is kind.[(((triple7) -> rule5))] @2: The cat visits the mouse.[(((((triple4) -> rule5)) -> rule8))] The mouse visits the mouse.[(((((triple7) -> rule5)) -> rule8))] @3: The cat eats the cat.[(((((((triple4) -> rule5)) -> rule8) triple4) -> rule7))]