The bald eagle is round. The bald eagle likes the cow. The cow eats the dog. The cow eats the mouse. The cow is cold. The cow is rough. The cow likes the bald eagle. The dog is cold. The dog is rough. The dog likes the bald eagle. The mouse is big. The mouse is rough. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse sees the dog. If something is round then it sees the bald eagle. If the cow is rough then the cow is round.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If something is round then it sees the bald eagle.
((("something" "is" "round" "+")) -> ("something" "sees" "bald eagle" "+"))
If the cow is rough then the cow is round.
((("cow" "is" "rough" "+")) -> ("cow" "is" "round" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cow" "+")
triple2
The dog is not cold.
False
1
inv-proof
[(triple8)]
("dog" "is" "cold" "-")
triple8
The cow is round.
True
2
proof
[(((triple6) -> rule2))]
("cow" "is" "round" "+")
((triple6) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The cow sees the bald eagle.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("cow" "sees" "bald eagle" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow does not see the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("cow" "sees" "bald eagle" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The dog does not see the bald eagle.
Unknown
inv-rconc
[@1: The dog sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "bald eagle" "-")
The dog sees the mouse.
Unknown
random
[@0: The dog sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "mouse" "+")
The dog does not like the mouse.
Unknown
inv-random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "-")
The bald eagle eats the cow.
Unknown
random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
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 is round.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow eats the dog.[(triple3)] The cow eats the mouse.[(triple4)] The cow is cold.[(triple5)] The cow is rough.[(triple6)] The cow likes the bald eagle.[(triple7)] The dog is cold.[(triple8)] The dog is rough.[(triple9)] The dog likes the bald eagle.[(triple10)] The mouse is big.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse sees the bald eagle.[(triple14)] The mouse sees the dog.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule1))] The cow is round.[(((triple6) -> rule2))] @2: The cow sees the bald eagle.[(((((triple6) -> rule2)) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow eats the dog.
("cow" "eats" "dog" "+")
triple3
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The mouse is big.
("mouse" "is" "big" "+")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple13
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple6) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2