The bald eagle is big. The bald eagle is not nice. The bald eagle is round. The bald eagle visits the squirrel. The cat does not need the squirrel. The rabbit eats the squirrel. The squirrel eats the cat. The squirrel needs the bald eagle. The squirrel does not need the rabbit. The squirrel visits the rabbit. If someone eats the squirrel then they visit the bald eagle. If the bald eagle eats the squirrel then the squirrel does not visit the cat. If someone needs the rabbit then the rabbit needs the squirrel. If the cat visits the rabbit and the cat does not need the squirrel then the squirrel eats the bald eagle. If someone visits the bald eagle then the bald eagle does not visit the rabbit. If someone needs the rabbit and they eat the bald eagle then the bald eagle is not young. If someone visits the rabbit and they eat the bald eagle then the bald eagle is nice. If someone eats the rabbit then the rabbit does not visit the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel does not need the rabbit.
("squirrel" "needs" "rabbit" "-")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone eats the squirrel then they visit the bald eagle.
((("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the bald eagle eats the squirrel then the squirrel does not visit the cat.
((("bald eagle" "eats" "squirrel" "+")) -> ("squirrel" "visits" "cat" "-"))
If someone needs the rabbit then the rabbit needs the squirrel.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If the cat visits the rabbit and the cat does not need the squirrel then the squirrel eats the bald eagle.
((("cat" "visits" "rabbit" "+") ("cat" "needs" "squirrel" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle does not visit the rabbit.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "-"))
If someone needs the rabbit and they eat the bald eagle then the bald eagle is not young.
((("someone" "needs" "rabbit" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "young" "-"))
If someone visits the rabbit and they eat the bald eagle then the bald eagle is nice.
((("someone" "visits" "rabbit" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone eats the rabbit then the rabbit does not visit the cat.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "visits" "cat" "-"))
The squirrel visits the rabbit.
True
1
proof
[(triple10)]
("squirrel" "visits" "rabbit" "+")
triple10
The squirrel does not visit the rabbit.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "rabbit" "-")
triple10
The rabbit visits the bald eagle.
True
2
proof
[(((triple6) -> rule1))]
("rabbit" "visits" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit does not visit the bald eagle.
False
2
inv-proof
[(((triple6) -> rule1))]
("rabbit" "visits" "bald eagle" "-")
((triple6) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the rabbit.
True
3
proof
[(((((triple6) -> rule1)) -> rule5))]
("bald eagle" "visits" "rabbit" "-")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The bald eagle visits the rabbit.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule5))]
("bald eagle" "visits" "rabbit" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The squirrel visits the bald eagle.
Unknown
rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The squirrel does not eat the bald eagle.
Unknown
inv-rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat does not need the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The squirrel does not need the rabbit.[(triple9)] The squirrel eats the cat.[(triple7)] The squirrel needs the bald eagle.[(triple8)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit visits the bald eagle.[(((triple6) -> rule1))] @2: The bald eagle does not visit the rabbit.[(((((triple6) -> rule1)) -> rule5))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The cat does not need the squirrel.
("cat" "needs" "squirrel" "-")
triple5
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple6
The squirrel does not need the rabbit.
("squirrel" "needs" "rabbit" "-")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple8
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple6) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2