The cat is big. The cat is green. The cat is red. The cat is round. The cat needs the mouse. The mouse is red. The mouse needs the cat. If something needs the mouse then the mouse is red. If something needs the cat and the cat needs the mouse then it chases the cat. If something is green and it sees the cat then the cat chases the mouse.
The mouse needs the cat.
@0: The cat is big.[(triple1)] The cat is green.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat needs the mouse.[(triple5)] The mouse is red.[(triple6 OR ((triple5) -> rule1))] The mouse needs the cat.[(triple7)] @1: The mouse chases the cat.[(((triple7 triple5) -> rule2))]