The bald eagle chases the cow. The bald eagle eats the cow. The bald eagle is young. The bald eagle visits the cow. The cow chases the tiger. The cow eats the tiger. The cow is blue. The cow is red. The tiger chases the bald eagle. The tiger chases the cow. If something chases the tiger and it is blue then the tiger visits the cow. If something is red then it eats the bald eagle. If something eats the bald eagle then the bald eagle is red.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
If something chases the tiger and it is blue then the tiger visits the cow.
((("something" "chases" "tiger" "+") ("something" "is" "blue" "+")) -> ("tiger" "visits" "cow" "+"))
If something is red then it eats the bald eagle.
((("something" "is" "red" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle then the bald eagle is red.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The tiger does not chase the cow.
False
1
inv-proof
[(triple10)]
("tiger" "chases" "cow" "-")
triple10
The tiger visits the cow.
True
3
proof
[(((triple5 triple7) -> rule1))]
("tiger" "visits" "cow" "+")
((triple5 triple7) -> (rule1 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
The tiger does not visit the cow.
False
3
inv-proof
[(((triple5 triple7) -> rule1))]
("tiger" "visits" "cow" "-")
((triple5 triple7) -> (rule1 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
The bald eagle is red.
True
3
proof
[(((((triple8) -> rule2)) -> rule3))]
("bald eagle" "is" "red" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The bald eagle is not red.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule3))]
("bald eagle" "is" "red" "-")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
True
4
proof
[(((((((triple8) -> rule2)) -> rule3)) -> rule2))]
("bald eagle" "eats" "bald eagle" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3
The bald eagle does not eat the bald eagle.
False
4
inv-proof
[(((((((triple8) -> rule2)) -> rule3)) -> rule2))]
("bald eagle" "eats" "bald eagle" "-")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3
The tiger does not eat the bald eagle.
Unknown
inv-rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "bald eagle" "-")
The bald eagle chases the tiger.
Unknown
random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The bald eagle is not green.
Unknown
inv-random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow chases the tiger.[(triple5)] The cow eats the tiger.[(triple6)] The cow is blue.[(triple7)] The cow is red.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the cow.[(triple10)] @1: The cow eats the bald eagle.[(((triple8) -> rule2))] The tiger visits the cow.[(((triple5 triple7) -> rule1))] @2: The bald eagle is red.[(((((triple8) -> rule2)) -> rule3))] @3: The bald eagle eats the bald eagle.[(((((((triple8) -> rule2)) -> rule3)) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple5
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple6
The cow is blue.
("cow" "is" "blue" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
triple8
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple9
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple10
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
((triple8) -> (rule2 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The tiger visits the cow.
("tiger" "visits" "cow" "+")
((triple5 triple7) -> (rule1 % int1))
The tiger visits the cow.
("tiger" "visits" "cow" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int3