The bald eagle eats the cow. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the cow. The cow likes the bald eagle. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit eats the bald eagle. The rabbit is blue. The rabbit is rough. If someone is rough then they are kind. If the bald eagle is blue then the bald eagle eats the rabbit. If someone chases the rabbit then they are green. If someone eats the cow and they eat the rabbit then they are big. If the cow likes the rabbit then the rabbit likes the bald eagle. If someone eats the cow then they are blue.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If the bald eagle is blue then the bald eagle eats the rabbit.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If someone chases the rabbit then they are green.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "green" "+"))
If someone eats the cow and they eat the rabbit then they are big.
((("someone" "eats" "cow" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If the cow likes the rabbit then the rabbit likes the bald eagle.
((("cow" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone eats the cow then they are blue.
((("someone" "eats" "cow" "+")) -> ("someone" "is" "blue" "+"))
The bald eagle is rough.
True
1
proof
[(triple3)]
("bald eagle" "is" "rough" "+")
triple3
The rabbit does not chase the cow.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "cow" "-")
triple7
The rabbit is kind.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple10) -> rule1))]
("rabbit" "is" "kind" "-")
((triple10) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bald eagle eats the rabbit.
True
3
proof
[(((((triple1) -> rule6)) -> rule2))]
("bald eagle" "eats" "rabbit" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle does not eat the rabbit.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule2))]
("bald eagle" "eats" "rabbit" "-")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "green" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "kind" "+")
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cow does not eat the rabbit.
Unknown
inv-random
[@0: The cow eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "rabbit" "-")
The cow likes the rabbit.
Unknown
random
[@0: The cow likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "rabbit" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple2 OR ((triple3) -> rule1))] The bald eagle is rough.[(triple3)] The bald eagle likes the cow.[(triple4)] The cow likes the bald eagle.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is rough.[(triple10)] @1: The bald eagle is blue.[(((triple1) -> rule6))] The rabbit is kind.[(((triple10) -> rule1))] @2: The bald eagle eats the rabbit.[(((((triple1) -> rule6)) -> rule2))] @3: The bald eagle is big.[(((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
((triple3) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple5
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple6
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple10) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3