The bald eagle eats the cat. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is green. The bald eagle sees the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is kind. The cat sees the rabbit. The rabbit chases the bald eagle. The rabbit chases the cat. The rabbit eats the bald eagle. If something eats the bald eagle then the bald eagle eats the rabbit. If something sees the rabbit then it sees the bald eagle. If something sees the bald eagle and it eats the bald eagle then it is red. If something chases the bald eagle then it sees the bald eagle. If something eats the bald eagle and the bald eagle chases the cat then the cat is red. If something chases the rabbit then it is green. If the rabbit sees the bald eagle and the rabbit chases the bald eagle then the rabbit chases the cat. If the cat is blue and the cat is big then the cat sees the rabbit.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
If something eats the bald eagle then the bald eagle eats the rabbit.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something sees the rabbit then it sees the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the bald eagle and it eats the bald eagle then it is red.
((("something" "sees" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something chases the bald eagle then it sees the bald eagle.
((("something" "chases" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
If something eats the bald eagle and the bald eagle chases the cat then the cat is red.
((("something" "eats" "bald eagle" "+") ("bald eagle" "chases" "cat" "+")) -> ("cat" "is" "red" "+"))
If something chases the rabbit then it is green.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "green" "+"))
If the rabbit sees the bald eagle and the rabbit chases the bald eagle then the rabbit chases the cat.
((("rabbit" "sees" "bald eagle" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "chases" "cat" "+"))
If the cat is blue and the cat is big then the cat sees the rabbit.
((("cat" "is" "blue" "+") ("cat" "is" "big" "+")) -> ("cat" "sees" "rabbit" "+"))
The rabbit chases the bald eagle.
True
1
proof
[(triple10)]
("rabbit" "chases" "bald eagle" "+")
triple10
The cat is not kind.
False
1
inv-proof
[(triple8)]
("cat" "is" "kind" "-")
triple8
The cat sees the bald eagle.
True
2
proof
[(((triple6) -> rule4) OR ((triple9) -> rule2))]
("cat" "sees" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
((triple9) -> (rule2 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat does not see the bald eagle.
False
2
inv-proof
[(((triple6) -> rule4) OR ((triple9) -> rule2))]
("cat" "sees" "bald eagle" "-")
((triple6) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
((triple9) -> (rule2 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is red.
True
4
proof
[(((((triple6) -> rule4) triple7) -> rule3) OR ((((triple9) -> rule2) triple7) -> rule3))]
("cat" "is" "red" "+")
((((triple6) -> (rule4 % int2)) triple7) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
((((triple9) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The rabbit is not red.
False
4
inv-proof
[(((((triple10) -> rule4) triple12) -> rule3))]
("rabbit" "is" "red" "-")
((((triple10) -> (rule4 % int2)) triple12) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "red" "-")
The rabbit is green.
Unknown
rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "green" "+")
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "green" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The cat does not chase the rabbit.
Unknown
inv-random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the rabbit.[(triple2 OR ((triple12) -> rule1) OR ((triple7) -> rule1))] The bald eagle is blue.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is kind.[(triple8)] The cat sees the rabbit.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit chases the cat.[(triple11 OR ((((triple10) -> rule4) triple10) -> rule7))] The rabbit eats the bald eagle.[(triple12)] @1: The cat sees the bald eagle.[(((triple6) -> rule4) OR ((triple9) -> rule2))] The rabbit sees the bald eagle.[(((triple10) -> rule4))] @2: The cat is red.[(((((triple6) -> rule4) triple7) -> rule3) OR ((((triple9) -> rule2) triple7) -> rule3))] The rabbit is red.[(((((triple10) -> rule4) triple12) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
((triple12) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
((triple7) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple9
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple11
((((triple10) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple12
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((triple6) -> (rule4 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
((triple9) -> (rule2 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple10) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
((((triple6) -> (rule4 % int2)) triple7) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
((((triple9) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
((((triple10) -> (rule4 % int2)) triple12) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2