The bald eagle is round. The bald eagle needs the tiger. The cat eats the rabbit. The cat eats the tiger. The cat is young. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is rough. The rabbit needs the bald eagle. The tiger eats the rabbit. If something chases the bald eagle then the bald eagle is big. If something chases the cat then it is rough. If something chases the cat and it needs the bald eagle then the cat needs the tiger.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is young.
("cat" "is" "young" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If something chases the bald eagle then the bald eagle is big.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If something chases the cat then it is rough.
((("something" "chases" "cat" "+")) -> ("something" "is" "rough" "+"))
If something chases the cat and it needs the bald eagle then the cat needs the tiger.
((("something" "chases" "cat" "+") ("something" "needs" "bald eagle" "+")) -> ("cat" "needs" "tiger" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple2)]
("bald eagle" "needs" "tiger" "+")
triple2
The bald eagle does not need the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "tiger" "-")
triple2
The bald eagle is big.
True
2
proof
[(((triple6) -> rule1))]
("bald eagle" "is" "big" "+")
((triple6) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple6) -> rule1))]
("bald eagle" "is" "big" "-")
((triple6) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "rough" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The rabbit eats the bald eagle.
Unknown
random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle needs the tiger.[(triple2)] The cat eats the rabbit.[(triple3)] The cat eats the tiger.[(triple4)] The cat is young.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the tiger.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The tiger eats the rabbit.[(triple10)] @1: The bald eagle is big.[(((triple6) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple3
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple9
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple6) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1