The bald eagle chases the cat. The cat likes the squirrel. The cow eats the cat. The squirrel eats the bald eagle. All round people are big. If someone eats the bald eagle then the bald eagle is round.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone eats the bald eagle then the bald eagle is round.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The cow does not eat the cat.
False
1
inv-proof
[(triple3)]
("cow" "eats" "cat" "-")
triple3
The bald eagle is round.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "is" "round" "+")
((triple4) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("bald eagle" "is" "round" "-")
((triple4) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is big.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("bald eagle" "is" "big" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle is not big.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("bald eagle" "is" "big" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cow is not big.
Unknown
inv-rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "big" "-")
The squirrel is big.
Unknown
rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "+")
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "big" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The squirrel does not like the cat.
Unknown
inv-random
[@0: The squirrel likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cat" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat likes the squirrel.[(triple2)] The cow eats the cat.[(triple3)] The squirrel eats the bald eagle.[(triple4)] @1: The bald eagle is round.[(((triple4) -> rule2))] @2: The bald eagle is big.[(((((triple4) -> rule2)) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The cow eats the cat.
("cow" "eats" "cat" "+")
triple3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple4) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2