The cat chases the mouse. The cat is not blue. The cat is not cold. The cat is rough. The cow does not chase the cat. The cow eats the mouse. The cow is cold. The cow is young. The lion eats the mouse. The mouse visits the cow. If someone eats the cow and the cow is cold then they visit the cow. If someone eats the cow and the cow is round then they chase the lion. If someone visits the cow then they are round. If someone is blue then they eat the cow. If someone chases the mouse and the mouse is not rough then they do not eat the mouse. If someone eats the mouse then they are blue. If the cow is not round then the cow does not eat the cat.
The cow does not eat the cat.
@0: The cat chases the mouse.[(triple1)] The cat is not blue.[(triple2)] The cat is not cold.[(triple3)] The cat is rough.[(triple4)] The cow does not chase the cat.[(triple5)] The cow eats the mouse.[(triple6)] The cow is cold.[(triple7)] The cow is young.[(triple8)] The lion eats the mouse.[(triple9)] The mouse visits the cow.[(triple10)] @1: The cow is blue.[(((triple6) -> rule6))] The lion is blue.[(((triple9) -> rule6))] The mouse is round.[(((triple10) -> rule3))] @2: The cow eats the cow.[(((((triple6) -> rule6)) -> rule4))] The lion eats the cow.[(((((triple9) -> rule6)) -> rule4))] @3: The cow visits the cow.[(((((((triple6) -> rule6)) -> rule4) triple7) -> rule1))] The lion visits the cow.[(((((((triple9) -> rule6)) -> rule4) triple7) -> rule1))] @4: The cow is round.[(((((((((triple6) -> rule6)) -> rule4) triple7) -> rule1)) -> rule3))] The lion is round.[(((((((((triple9) -> rule6)) -> rule4) triple7) -> rule1)) -> rule3))] @5: The cow chases the lion.[(((((((triple6) -> rule6)) -> rule4) ((((((((triple6) -> rule6)) -> rule4) triple7) -> rule1)) -> rule3)) -> rule2))] The lion chases the lion.[(((((((triple9) -> rule6)) -> rule4) ((((((((triple6) -> rule6)) -> rule4) triple7) -> rule1)) -> rule3)) -> rule2))]