The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle is young. The bald eagle likes the cow. The cow likes the dog. The dog likes the cow. The mouse chases the dog. The mouse is not green. The mouse is not rough. The mouse is not young. If something likes the dog then the dog likes the cow. If the bald eagle visits the dog and the bald eagle does not chase the mouse then the bald eagle likes the dog. If something visits the mouse and the mouse does not chase the dog then the dog chases the mouse. If something likes the mouse then the mouse likes the bald eagle. If the bald eagle visits the cow then the bald eagle does not chase the dog. If something chases the dog and it is not rough then it likes the mouse. If something is blue then it visits the bald eagle. If something chases the mouse and it is rough then it chases the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse is not young.
("mouse" "is" "young" "-")
If something likes the dog then the dog likes the cow.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If the bald eagle visits the dog and the bald eagle does not chase the mouse then the bald eagle likes the dog.
((("bald eagle" "visits" "dog" "+") ("bald eagle" "chases" "mouse" "~")) -> ("bald eagle" "likes" "dog" "+"))
If something visits the mouse and the mouse does not chase the dog then the dog chases the mouse.
((("something" "visits" "mouse" "+") ("mouse" "chases" "dog" "~")) -> ("dog" "chases" "mouse" "+"))
If something likes the mouse then the mouse likes the bald eagle.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "bald eagle" "+"))
If the bald eagle visits the cow then the bald eagle does not chase the dog.
((("bald eagle" "visits" "cow" "+")) -> ("bald eagle" "chases" "dog" "-"))
If something chases the dog and it is not rough then it likes the mouse.
((("something" "chases" "dog" "+") ("something" "is" "rough" "~")) -> ("something" "likes" "mouse" "+"))
If something is blue then it visits the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "visits" "bald eagle" "+"))
If something chases the mouse and it is rough then it chases the cow.
((("something" "chases" "mouse" "+") ("something" "is" "rough" "+")) -> ("something" "chases" "cow" "+"))
The mouse is not green.
True
1
proof
[(triple8)]
("mouse" "is" "green" "-")
triple8
The mouse is green.
False
1
inv-proof
[(triple8)]
("mouse" "is" "green" "+")
triple8
The mouse likes the mouse.
True
3
proof
[(((triple7 triple9) -> rule6))]
("mouse" "likes" "mouse" "+")
((triple7 triple9) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
3
inv-proof
[(((triple7 triple9) -> rule6))]
("mouse" "likes" "mouse" "-")
((triple7 triple9) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse likes the bald eagle.
True
4
proof
[(((((triple7 triple9) -> rule6)) -> rule4))]
("mouse" "likes" "bald eagle" "+")
((((triple7 triple9) -> (rule6 % int2))) -> (rule4 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse does not like the bald eagle.
False
4
inv-proof
[(((((triple7 triple9) -> rule6)) -> rule4))]
("mouse" "likes" "bald eagle" "-")
((((triple7 triple9) -> (rule6 % int2))) -> (rule4 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cow does not like the mouse.
Unknown
inv-rconc
[@1: The cow likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "likes" "mouse" "-")
The dog visits the bald eagle.
Unknown
rconc
[@1: The dog visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "visits" "bald eagle" "+")
The mouse does not chase the cow.
Unknown
inv-rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "chases" "cow" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The mouse does not like the dog.
Unknown
inv-random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "-")
The dog visits the cow.
Unknown
random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cow.[(triple4)] The cow likes the dog.[(triple5)] The dog likes the cow.[(triple6 OR ((triple5) -> rule1))] The mouse chases the dog.[(triple7)] The mouse is not green.[(triple8)] The mouse is not rough.[(triple9)] The mouse is not young.[(triple10)] @1: The mouse likes the mouse.[(((triple7 triple9) -> rule6))] @2: The mouse likes the bald eagle.[(((((triple7 triple9) -> rule6)) -> rule4))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
The dog likes the cow.
("dog" "likes" "cow" "+")
triple6
((triple5) -> (rule1 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse is not green.
("mouse" "is" "green" "-")
triple8
The mouse is not rough.
("mouse" "is" "rough" "-")
triple9
The mouse is not young.
("mouse" "is" "young" "-")
triple10
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple7 triple9) -> (rule6 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
((((triple7 triple9) -> (rule6 % int2))) -> (rule4 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2