The bald eagle is red. The bald eagle needs the cow. The cow likes the bald eagle. If someone likes the cow then the cow is green. If someone is round and they like the bald eagle then the bald eagle is red. If someone needs the bald eagle and they need the cow then the bald eagle likes the cow. If someone is round then they like the cow. If someone is round and young then they see the cow. If someone needs the cow then they are round. If the cow sees the bald eagle and the cow needs the bald eagle then the bald eagle sees the cow. If the cow sees the bald eagle and the cow is red then the bald eagle sees the cow.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
If someone likes the cow then the cow is green.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "green" "+"))
If someone is round and they like the bald eagle then the bald eagle is red.
((("someone" "is" "round" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone needs the bald eagle and they need the cow then the bald eagle likes the cow.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "cow" "+")) -> ("bald eagle" "likes" "cow" "+"))
If someone is round then they like the cow.
((("someone" "is" "round" "+")) -> ("someone" "likes" "cow" "+"))
If someone is round and young then they see the cow.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "sees" "cow" "+"))
If someone needs the cow then they are round.
((("someone" "needs" "cow" "+")) -> ("someone" "is" "round" "+"))
If the cow sees the bald eagle and the cow needs the bald eagle then the bald eagle sees the cow.
((("cow" "sees" "bald eagle" "+") ("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "cow" "+"))
If the cow sees the bald eagle and the cow is red then the bald eagle sees the cow.
((("cow" "sees" "bald eagle" "+") ("cow" "is" "red" "+")) -> ("bald eagle" "sees" "cow" "+"))
The bald eagle needs the cow.
True
1
proof
[(triple2)]
("bald eagle" "needs" "cow" "+")
triple2
The cow does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "likes" "bald eagle" "-")
triple3
The bald eagle is round.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "is" "round" "+")
((triple2) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "is" "round" "-")
((triple2) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the cow.
True
3
proof
[(((((triple2) -> rule6)) -> rule4))]
("bald eagle" "likes" "cow" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle does not like the cow.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule4))]
("bald eagle" "likes" "cow" "-")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle does not see the cow.
Unknown
inv-rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "cow" "-")
The cow likes the cow.
Unknown
rconc
[@2: The cow likes the cow.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("cow" "likes" "cow" "+")
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow needs the bald eagle.
Unknown
random
[@0: The cow needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "bald eagle" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle needs the cow.[(triple2)] The cow likes the bald eagle.[(triple3)] @1: The bald eagle is round.[(((triple2) -> rule6))] @2: The bald eagle likes the cow.[(((((triple2) -> rule6)) -> rule4))] @3: The cow is green.[(((((((triple2) -> rule6)) -> rule4)) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple2) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((((triple2) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cow is green.
("cow" "is" "green" "+")
((((((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3