The bald eagle chases the dog. The bald eagle is nice. The bald eagle is young. The bald eagle sees the cow. The bald eagle sees the dog. The cow chases the dog. The cow sees the mouse. The dog is green. The dog sees the cow. The mouse chases the bald eagle. The mouse chases the cow. The mouse chases the dog. The mouse is green. The mouse sees the bald eagle. The mouse sees the cow. If the bald eagle chases the cow and the bald eagle sees the dog then the bald eagle chases the mouse. If something is nice and it visits the dog then it visits the cow. If something is young and it visits the dog then the dog is young. If something chases the bald eagle and it sees the cow then the cow is rough. If something is big and young then it chases the bald eagle. If the cow sees the dog then the cow visits the bald eagle. If something is green and it chases the cow then it visits the dog. All rough things are young.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If the bald eagle chases the cow and the bald eagle sees the dog then the bald eagle chases the mouse.
((("bald eagle" "chases" "cow" "+") ("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something is nice and it visits the dog then it visits the cow.
((("something" "is" "nice" "+") ("something" "visits" "dog" "+")) -> ("something" "visits" "cow" "+"))
If something is young and it visits the dog then the dog is young.
((("something" "is" "young" "+") ("something" "visits" "dog" "+")) -> ("dog" "is" "young" "+"))
If something chases the bald eagle and it sees the cow then the cow is rough.
((("something" "chases" "bald eagle" "+") ("something" "sees" "cow" "+")) -> ("cow" "is" "rough" "+"))
If something is big and young then it chases the bald eagle.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "chases" "bald eagle" "+"))
If the cow sees the dog then the cow visits the bald eagle.
((("cow" "sees" "dog" "+")) -> ("cow" "visits" "bald eagle" "+"))
If something is green and it chases the cow then it visits the dog.
((("something" "is" "green" "+") ("something" "chases" "cow" "+")) -> ("something" "visits" "dog" "+"))
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
The mouse chases the cow.
True
1
proof
[(triple11)]
("mouse" "chases" "cow" "+")
triple11
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The cow is rough.
True
3
proof
[(((triple10 triple15) -> rule4))]
("cow" "is" "rough" "+")
((triple10 triple15) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse does not visit the dog.
False
3
inv-proof
[(((triple13 triple11) -> rule7))]
("mouse" "visits" "dog" "-")
((triple13 triple11) -> (rule7 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The cow is young.
True
4
proof
[(((((triple10 triple15) -> rule4)) -> rule8))]
("cow" "is" "young" "+")
((((triple10 triple15) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow is not young.
False
4
inv-proof
[(((((triple10 triple15) -> rule4)) -> rule8))]
("cow" "is" "young" "-")
((((triple10 triple15) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cow visits the cow.
Unknown
rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "+")
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the dog.[(triple5)] The cow chases the dog.[(triple6)] The cow sees the mouse.[(triple7)] The dog is green.[(triple8)] The dog sees the cow.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse chases the cow.[(triple11)] The mouse chases the dog.[(triple12)] The mouse is green.[(triple13)] The mouse sees the bald eagle.[(triple14)] The mouse sees the cow.[(triple15)] @1: The cow is rough.[(((triple10 triple15) -> rule4))] The mouse visits the dog.[(((triple13 triple11) -> rule7))] @2: The cow is young.[(((((triple10 triple15) -> rule4)) -> rule8))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple4
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple5
The cow chases the dog.
("cow" "chases" "dog" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog sees the cow.
("dog" "sees" "cow" "+")
triple9
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple10
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple11
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple12
The mouse is green.
("mouse" "is" "green" "+")
triple13
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple14
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The cow is rough.
("cow" "is" "rough" "+")
((triple10 triple15) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The mouse visits the dog.
("mouse" "visits" "dog" "+")
((triple13 triple11) -> (rule7 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((((triple10 triple15) -> (rule4 % int2))) -> (rule8 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2