The cat is young. The mouse is kind. The squirrel chases the tiger. The tiger is green. If someone likes the mouse then the mouse does not see the tiger. If someone is young then they see the tiger. If someone chases the tiger and they see the tiger then the tiger chases the squirrel. If someone is kind then they see the squirrel. If someone is rough and they like the squirrel then they like the cat. If someone is kind then they like the mouse. If someone chases the tiger and the tiger likes the cat then the cat sees the squirrel. If someone sees the tiger then the tiger likes the cat.
The mouse is green.
@0: The cat is young.[(triple1)] The mouse is kind.[(triple2)] The squirrel chases the tiger.[(triple3)] The tiger is green.[(triple4)] @1: The cat sees the tiger.[(((triple1) -> rule2))] The mouse likes the mouse.[(((triple2) -> rule6))] The mouse sees the squirrel.[(((triple2) -> rule4))] @2: The mouse does not see the tiger.[(((((triple2) -> rule6)) -> rule1))] The tiger likes the cat.[(((((triple1) -> rule2)) -> rule8))] @3: The cat sees the squirrel.[(((triple3 ((((triple1) -> rule2)) -> rule8)) -> rule7))]