The bald eagle is not green. The bald eagle is red. The bald eagle needs the cat. The bald eagle needs the rabbit. The cat does not eat the rabbit. The cat is not green. The cat is not red. The cat needs the bald eagle. The cat needs the rabbit. The rabbit chases the cat. The rabbit eats the bald eagle. The rabbit is not green. If something needs the rabbit then it chases the rabbit. If something is green and rough then it eats the rabbit. If something chases the rabbit then the rabbit needs the bald eagle.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is not green.
("cat" "is" "green" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
If something needs the rabbit then it chases the rabbit.
((("something" "needs" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
If something is green and rough then it eats the rabbit.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "eats" "rabbit" "+"))
If something chases the rabbit then the rabbit needs the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
The bald eagle is not green.
True
1
proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The bald eagle does not need the cat.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "cat" "-")
triple3
The bald eagle chases the rabbit.
True
2
proof
[(((triple4) -> rule1))]
("bald eagle" "chases" "rabbit" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The cat does not chase the rabbit.
False
2
inv-proof
[(((triple9) -> rule1))]
("cat" "chases" "rabbit" "-")
((triple9) -> (rule1 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit needs the bald eagle.
True
3
proof
[(((((triple4) -> rule1)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]
("rabbit" "needs" "bald eagle" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The rabbit does not need the bald eagle.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]
("rabbit" "needs" "bald eagle" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
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 is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The bald eagle is not green.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The cat does not eat the rabbit.[(triple5)] The cat is not green.[(triple6)] The cat is not red.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the rabbit.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit is not green.[(triple12)] @1: The bald eagle chases the rabbit.[(((triple4) -> rule1))] The cat chases the rabbit.[(((triple9) -> rule1))] @2: The rabbit needs the bald eagle.[(((((triple4) -> rule1)) -> rule3) OR ((((triple9) -> rule1)) -> rule3))]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple5
The cat is not green.
("cat" "is" "green" "-")
triple6
The cat is not red.
("cat" "is" "red" "-")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple8
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple9
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit is not green.
("rabbit" "is" "green" "-")
triple12
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple4) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple9) -> (rule1 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2