The cow eats the mouse. The cow is green. The cow sees the dog. The dog eats the rabbit. The dog is not cold. The dog sees the rabbit. The mouse sees the rabbit. The rabbit does not eat the cow. The rabbit is cold. The rabbit likes the cow. The rabbit sees the mouse. Green people are round. If someone eats the dog then the dog likes the rabbit. If someone eats the cow then the cow eats the dog. If someone likes the rabbit then the rabbit eats the mouse. If someone eats the mouse then they are not nice. If someone is rough then they do not eat the cow. If someone eats the mouse then the mouse eats the cow.
The rabbit is not nice.
@0: The cow eats the mouse.[(triple1)] The cow is green.[(triple2)] The cow sees the dog.[(triple3)] The dog eats the rabbit.[(triple4)] The dog is not cold.[(triple5)] The dog sees the rabbit.[(triple6)] The mouse sees the rabbit.[(triple7)] The rabbit does not eat the cow.[(triple8)] The rabbit is cold.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit sees the mouse.[(triple11)] @1: The cow is not nice.[(((triple1) -> rule5))] The cow is round.[(((triple2) -> rule1))] The mouse eats the cow.[(((triple1) -> rule7))] @2: The cow eats the dog.[(((((triple1) -> rule7)) -> rule3))] @3: The dog likes the rabbit.[(((((((triple1) -> rule7)) -> rule3)) -> rule2))] @4: The rabbit eats the mouse.[(((((((((triple1) -> rule7)) -> rule3)) -> rule2)) -> rule4))] @5: The rabbit is not nice.[(((((((((((triple1) -> rule7)) -> rule3)) -> rule2)) -> rule4)) -> rule5))]