The bald eagle chases the bear. The bald eagle visits the mouse. The bear chases the bald eagle. The bear chases the dog. The bear is green. The bear is nice. The bear likes the dog. The bear visits the mouse. The dog chases the bald eagle. The dog chases the bear. The dog likes the bear. The dog likes the mouse. The dog visits the mouse. The mouse is rough. The mouse is young. If something is nice and it visits the bear then the bear likes the dog. If something visits the bear then it is rough. All young things are round.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is young.
("mouse" "is" "young" "+")
If something is nice and it visits the bear then the bear likes the dog.
((("something" "is" "nice" "+") ("something" "visits" "bear" "+")) -> ("bear" "likes" "dog" "+"))
If something visits the bear then it is rough.
((("something" "visits" "bear" "+")) -> ("something" "is" "rough" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
The bear chases the dog.
True
1
proof
[(triple4)]
("bear" "chases" "dog" "+")
triple4
The dog does not like the bear.
False
1
inv-proof
[(triple11)]
("dog" "likes" "bear" "-")
triple11
The mouse is round.
True
2
proof
[(((triple15) -> rule3))]
("mouse" "is" "round" "+")
((triple15) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple15) -> rule3))]
("mouse" "is" "round" "-")
((triple15) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The dog is not round.
Unknown
inv-rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "round" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "rough" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The bald eagle likes the dog.
Unknown
random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle visits the mouse.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the dog.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear likes the dog.[(triple7)] The bear visits the mouse.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog chases the bear.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the mouse.[(triple12)] The dog visits the mouse.[(triple13)] The mouse is rough.[(triple14)] The mouse is young.[(triple15)] @1: The mouse is round.[(((triple15) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple3
The bear chases the dog.
("bear" "chases" "dog" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear likes the dog.
("bear" "likes" "dog" "+")
triple7
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple8
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple9
The dog chases the bear.
("dog" "chases" "bear" "+")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple12
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse is round.
("mouse" "is" "round" "+")
((triple15) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1