The cat chases the mouse. The cat is red. The cat needs the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is big. The mouse is round. If someone needs the mouse and they chase the cat then the cat needs the mouse. If the cat is red then the cat eats the mouse. If someone chases the mouse and the mouse chases the cat then they need the cat. If the mouse eats the cat then the mouse is big. If the cat eats the mouse then the mouse is red. If someone is nice and they eat the cat then they need the mouse.
The cat is big.
@0: The cat chases the mouse.[(triple1)] The cat is red.[(triple2)] The cat needs the mouse.[(triple3)] The mouse chases the cat.[(triple4)] The mouse eats the cat.[(triple5)] The mouse is big.[(triple6 OR ((triple5) -> rule4))] The mouse is round.[(triple7)] @1: The cat eats the mouse.[(((triple2) -> rule2))] The cat needs the cat.[(((triple1 triple4) -> rule3))] @2: The mouse is red.[(((((triple2) -> rule2)) -> rule5))]