The bald eagle chases the squirrel. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The mouse chases the squirrel. The mouse is big. The mouse sees the bald eagle. The rabbit chases the squirrel. The rabbit is young. The squirrel chases the mouse. The squirrel is round. The squirrel likes the mouse. If something sees the bald eagle then it chases the mouse. If something chases the rabbit and it likes the mouse then the rabbit sees the mouse. If something sees the rabbit and it likes the rabbit then it sees the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If something sees the bald eagle then it chases the mouse.
((("something" "sees" "bald eagle" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the rabbit and it likes the mouse then the rabbit sees the mouse.
((("something" "chases" "rabbit" "+") ("something" "likes" "mouse" "+")) -> ("rabbit" "sees" "mouse" "+"))
If something sees the rabbit and it likes the rabbit then it sees the bald eagle.
((("something" "sees" "rabbit" "+") ("something" "likes" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
The mouse chases the squirrel.
True
1
proof
[(triple5)]
("mouse" "chases" "squirrel" "+")
triple5
The squirrel does not chase the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "chases" "mouse" "-")
triple10
The bald eagle sees the bald eagle.
True
3
proof
[(((triple3 triple2) -> rule3))]
("bald eagle" "sees" "bald eagle" "+")
((triple3 triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple7) -> rule1))]
("mouse" "chases" "mouse" "-")
((triple7) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bald eagle chases the mouse.
True
4
proof
[(((((triple3 triple2) -> rule3)) -> rule1))]
("bald eagle" "chases" "mouse" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle does not chase the mouse.
False
4
inv-proof
[(((((triple3 triple2) -> rule3)) -> rule1))]
("bald eagle" "chases" "mouse" "-")
((((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The rabbit chases the mouse.
Unknown
rconc
[@2: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("rabbit" "chases" "mouse" "+")
The rabbit does not see the mouse.
Unknown
inv-rconc
[@1: The rabbit sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "mouse" "-")
The mouse chases the rabbit.
Unknown
random
[@0: The mouse chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "rabbit" "+")
The rabbit does not see the squirrel.
Unknown
inv-random
[@0: The rabbit sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "squirrel" "-")
The bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is big.[(triple6)] The mouse sees the bald eagle.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is young.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple3 triple2) -> rule3))] The mouse chases the mouse.[(((triple7) -> rule1))] @2: The bald eagle chases the mouse.[(((((triple3 triple2) -> rule3)) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple4
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple5
The mouse is big.
("mouse" "is" "big" "+")
triple6
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple7
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple12
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple3 triple2) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple7) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2