The cow chases the dog. The cow chases the mouse. The cow does not eat the rabbit. The cow needs the rabbit. The dog chases the cow. The dog chases the mouse. The dog eats the rabbit. The mouse chases the rabbit. The mouse eats the dog. The mouse eats the rabbit. The mouse is blue. The mouse needs the cow. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit is big. The rabbit needs the cow. If something needs the cow then it is not red.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If something needs the cow then it is not red.
((("something" "needs" "cow" "+")) -> ("something" "is" "red" "-"))
The rabbit chases the mouse.
True
1
proof
[(triple13)]
("rabbit" "chases" "mouse" "+")
triple13
The mouse does not eat the rabbit.
False
1
inv-proof
[(triple10)]
("mouse" "eats" "rabbit" "-")
triple10
The rabbit is not red.
True
2
proof
[(((triple16) -> rule1))]
("rabbit" "is" "red" "-")
((triple16) -> (rule1 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The rabbit is red.
False
2
inv-proof
[(((triple16) -> rule1))]
("rabbit" "is" "red" "+")
((triple16) -> (rule1 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The rabbit needs the dog.
Unknown
random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "+")
The dog does not need the mouse.
Unknown
inv-random
[@0: The dog needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow does not eat the rabbit.[(triple3)] The cow needs the rabbit.[(triple4)] The dog chases the cow.[(triple5)] The dog chases the mouse.[(triple6)] The dog eats the rabbit.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the dog.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is blue.[(triple11)] The mouse needs the cow.[(triple12)] The rabbit chases the mouse.[(triple13)] The rabbit eats the mouse.[(triple14)] The rabbit is big.[(triple15)] The rabbit needs the cow.[(triple16)] @1: The mouse is not red.[(((triple12) -> rule1))] The rabbit is not red.[(((triple16) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple2
The cow does not eat the rabbit.
("cow" "eats" "rabbit" "-")
triple3
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple6
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple9
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple12
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple13
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple14
The rabbit is big.
("rabbit" "is" "big" "+")
triple15
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple16
The mouse is not red.
("mouse" "is" "red" "-")
((triple12) -> (rule1 % int1))
The mouse is not red.
("mouse" "is" "red" "-")
int1
The rabbit is not red.
("rabbit" "is" "red" "-")
((triple16) -> (rule1 % int1))
The rabbit is not red.
("rabbit" "is" "red" "-")
int1