The cat chases the cow. The cat eats the cow. The cat eats the mouse. The cat is big. The cat needs the cow. The cow eats the cat. The cow eats the mouse. The cow is green. The mouse chases the cow. The mouse eats the cat. The mouse eats the cow. The mouse is nice. If someone chases the cat then the cat needs the mouse. If someone is round and they need the cat then the cat needs the mouse. If someone needs the mouse then they chase the mouse. If someone eats the cow then the cow eats the cat. If someone eats the mouse then the mouse chases the cat. If someone eats the cow then they chase the cat.
The cow is red.
@0: The cat chases the cow.[(triple1)] The cat eats the cow.[(triple2)] The cat eats the mouse.[(triple3)] The cat is big.[(triple4)] The cat needs the cow.[(triple5)] The cow eats the cat.[(triple6 OR ((triple11) -> rule4) OR ((triple2) -> rule4))] The cow eats the mouse.[(triple7)] The cow is green.[(triple8)] The mouse chases the cow.[(triple9)] The mouse eats the cat.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is nice.[(triple12)] @1: The cat chases the cat.[(((triple2) -> rule6))] The mouse chases the cat.[(((triple11) -> rule6) OR ((triple3) -> rule5) OR ((triple7) -> rule5))] @2: The cat needs the mouse.[(((((triple11) -> rule6)) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple7) -> rule5)) -> rule1))] @3: The cat chases the mouse.[(((((((triple11) -> rule6)) -> rule1)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1)) -> rule3) OR ((((((triple3) -> rule5)) -> rule1)) -> rule3) OR ((((((triple7) -> rule5)) -> rule1)) -> rule3))]