The bear eats the dog. The bear is red. The dog is cold. The mouse eats the rabbit. The mouse is not green. The mouse sees the dog. The rabbit sees the mouse. If the rabbit eats the dog then the dog sees the mouse. If someone is cold then they are red. If someone chases the mouse then they are red. If someone sees the mouse then they are rough. If someone is green then they chase the rabbit. All rough people are green. If someone chases the rabbit then the rabbit eats the dog. If the rabbit sees the dog and the rabbit does not eat the mouse then the rabbit is red. If someone eats the rabbit and they are green then the rabbit does not eat the bear.
The rabbit is not green.
@0: The bear eats the dog.[(triple1)] The bear is red.[(triple2)] The dog is cold.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is not green.[(triple5)] The mouse sees the dog.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The dog is red.[(((triple3) -> rule2))] The rabbit is rough.[(((triple7) -> rule4))] @2: The rabbit is green.[(((((triple7) -> rule4)) -> rule6))] @3: The rabbit chases the rabbit.[(((((((triple7) -> rule4)) -> rule6)) -> rule5))] @4: The rabbit eats the dog.[(((((((((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7))] @5: The dog sees the mouse.[(((((((((((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7)) -> rule1))] @6: The dog is rough.[(((((((((((((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7)) -> rule1)) -> rule4))] @7: The dog is green.[(((((((((((((((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule6))] @8: The dog chases the rabbit.[(((((((((((((((((triple7) -> rule4)) -> rule6)) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule6)) -> rule5))]