The cat chases the mouse. The cat does not eat the mouse. The cat is cold. The cat is not kind. The cat is young. The cat likes the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is cold. The mouse is kind. The mouse is young. The mouse likes the cat. If something chases the cat and it is young then it likes the mouse. If something eats the mouse then it likes the mouse. If something eats the cat and it chases the mouse then the mouse chases the cat. If something is young and it eats the cat then it likes the cat. If something likes the mouse and it chases the mouse then it eats the cat. If the cat is cold and the cat is not kind then the cat is big. If something is young and it chases the mouse then the mouse eats the cat. If something chases the mouse then the mouse eats the cat.
The cat is green.
@0: The cat chases the mouse.[(triple1)] The cat does not eat the mouse.[(triple2)] The cat is cold.[(triple3)] The cat is not kind.[(triple4)] The cat is young.[(triple5)] The cat likes the mouse.[(triple6)] The mouse chases the cat.[(triple7 OR ((((triple6 triple1) -> rule5) triple1) -> rule3))] The mouse eats the cat.[(triple8 OR ((triple1) -> rule8) OR ((triple5 triple1) -> rule7))] The mouse is cold.[(triple9)] The mouse is kind.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cat.[(triple12 OR ((triple11 triple8) -> rule4) OR ((triple11 ((triple1) -> rule8)) -> rule4) OR ((triple11 ((triple5 triple1) -> rule7)) -> rule4))] @1: The cat eats the cat.[(((triple6 triple1) -> rule5))] The cat is big.[(((triple3 triple4) -> rule6))] The mouse likes the mouse.[(((triple7 triple11) -> rule1) OR ((((((triple6 triple1) -> rule5) triple1) -> rule3) triple11) -> rule1))] @2: The cat likes the cat.[(((triple5 ((triple6 triple1) -> rule5)) -> rule4))]