The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle needs the dog. The cow is big. The cow is blue. The cow is rough. The cow likes the dog. The cow likes the mouse. The cow needs the bald eagle. The dog chases the mouse. The mouse chases the cow. The mouse is round. The mouse likes the bald eagle. The mouse needs the cow. The mouse needs the dog. If something chases the cow then it is blue. If something likes the cow then it likes the mouse. If something is blue then it does not like the cow. If something likes the bald eagle and it does not chase the cow then it needs the bald eagle. If something likes the mouse and the mouse does not like the cow then the mouse needs the bald eagle. If the dog needs the bald eagle and the dog does not like the cow then the cow does not need the mouse.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If something chases the cow then it is blue.
((("something" "chases" "cow" "+")) -> ("something" "is" "blue" "+"))
If something likes the cow then it likes the mouse.
((("something" "likes" "cow" "+")) -> ("something" "likes" "mouse" "+"))
If something is blue then it does not like the cow.
((("something" "is" "blue" "+")) -> ("something" "likes" "cow" "-"))
If something likes the bald eagle and it does not chase the cow then it needs the bald eagle.
((("something" "likes" "bald eagle" "+") ("something" "chases" "cow" "~")) -> ("something" "needs" "bald eagle" "+"))
If something likes the mouse and the mouse does not like the cow then the mouse needs the bald eagle.
((("something" "likes" "mouse" "+") ("mouse" "likes" "cow" "~")) -> ("mouse" "needs" "bald eagle" "+"))
If the dog needs the bald eagle and the dog does not like the cow then the cow does not need the mouse.
((("dog" "needs" "bald eagle" "+") ("dog" "likes" "cow" "~")) -> ("cow" "needs" "mouse" "-"))
The bald eagle needs the dog.
True
1
proof
[(triple3)]
("bald eagle" "needs" "dog" "+")
triple3
The mouse does not need the dog.
False
1
inv-proof
[(triple15)]
("mouse" "needs" "dog" "-")
triple15
The cow does not like the cow.
True
2
proof
[(((triple5) -> rule3))]
("cow" "likes" "cow" "-")
((triple5) -> (rule3 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple11) -> rule1))]
("mouse" "is" "blue" "-")
((triple11) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse does not like the cow.
True
3
proof
[(((((triple11) -> rule1)) -> rule3))]
("mouse" "likes" "cow" "-")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the cow.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule3))]
("mouse" "likes" "cow" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse needs the bald eagle.
True
5
proof
[(((triple8 ((((triple11) -> rule1)) -> rule3)) -> rule5))]
("mouse" "needs" "bald eagle" "+")
((triple8 ((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse does not need the bald eagle.
False
5
inv-proof
[(((triple8 ((((triple11) -> rule1)) -> rule3)) -> rule5))]
("mouse" "needs" "bald eagle" "-")
((triple8 ((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "blue" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The bald eagle does not need the cow.
Unknown
inv-random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle needs the dog.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5)] The cow is rough.[(triple6)] The cow likes the dog.[(triple7)] The cow likes the mouse.[(triple8)] The cow needs the bald eagle.[(triple9)] The dog chases the mouse.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is round.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse needs the cow.[(triple14)] The mouse needs the dog.[(triple15)] @1: The bald eagle is blue.[(((triple1) -> rule1))] The cow does not like the cow.[(((triple5) -> rule3))] The mouse is blue.[(((triple11) -> rule1))] @2: The bald eagle does not like the cow.[(((((triple1) -> rule1)) -> rule3))] The mouse does not like the cow.[(((((triple11) -> rule1)) -> rule3))] @3: The mouse needs the bald eagle.[(((triple8 ((((triple11) -> rule1)) -> rule3)) -> rule5))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the dog.
("cow" "likes" "dog" "+")
triple7
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple8
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple9
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple10
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple11
The mouse is round.
("mouse" "is" "round" "+")
triple12
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple13
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple15
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The cow does not like the cow.
("cow" "likes" "cow" "-")
((triple5) -> (rule3 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((triple8 ((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse does not like the cow.
("mouse" "likes" "cow" "-")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3