The cow chases the mouse. The cow eats the dog. The cow eats the mouse. The cow is rough. The cow is young. The cow visits the mouse. The dog chases the cow. The dog is big. The dog visits the mouse. The mouse chases the cow. The mouse eats the dog. The mouse is big. The mouse is rough. The mouse is young. The mouse visits the cow. The mouse visits the dog. If the mouse eats the dog and the mouse visits the cow then the dog chases the mouse. If someone is big then they eat the dog. If someone eats the dog then they eat the cow.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If the mouse eats the dog and the mouse visits the cow then the dog chases the mouse.
((("mouse" "eats" "dog" "+") ("mouse" "visits" "cow" "+")) -> ("dog" "chases" "mouse" "+"))
If someone is big then they eat the dog.
((("someone" "is" "big" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the dog then they eat the cow.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "cow" "+"))
The mouse chases the cow.
True
1
proof
[(triple10)]
("mouse" "chases" "cow" "+")
triple10
The dog does not chase the cow.
False
1
inv-proof
[(triple7)]
("dog" "chases" "cow" "-")
triple7
The mouse eats the cow.
True
2
proof
[(((triple11) -> rule3) OR ((((triple12) -> rule2)) -> rule3))]
("mouse" "eats" "cow" "+")
((triple11) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The dog does not eat the dog.
False
2
inv-proof
[(((triple8) -> rule2))]
("dog" "eats" "dog" "-")
((triple8) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the cow.
True
3
proof
[(((((triple8) -> rule2)) -> rule3))]
("dog" "eats" "cow" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog does not eat the cow.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule3))]
("dog" "eats" "cow" "-")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog does not visit the cow.
Unknown
inv-random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "-")
The mouse chases the dog.
Unknown
random
[@0: The mouse chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "dog" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the dog.[(triple2)] The cow eats the mouse.[(triple3)] The cow is rough.[(triple4)] The cow is young.[(triple5)] The cow visits the mouse.[(triple6)] The dog chases the cow.[(triple7)] The dog is big.[(triple8)] The dog visits the mouse.[(triple9)] The mouse chases the cow.[(triple10)] The mouse eats the dog.[(triple11 OR ((triple12) -> rule2))] The mouse is big.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14)] The mouse visits the cow.[(triple15)] The mouse visits the dog.[(triple16)] @1: The cow eats the cow.[(((triple2) -> rule3))] The dog chases the mouse.[(((triple11 triple15) -> rule1) OR ((((triple12) -> rule2) triple15) -> rule1))] The dog eats the dog.[(((triple8) -> rule2))] The mouse eats the cow.[(((triple11) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] @2: The dog eats the cow.[(((((triple8) -> rule2)) -> rule3))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple6
The dog chases the cow.
("dog" "chases" "cow" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple9
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple10
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple11
((triple12) -> (rule2 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple16
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple2) -> (rule3 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((triple11 triple15) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
((((triple12) -> (rule2 % int2)) triple15) -> (rule1 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple8) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
((triple11) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2