The bald eagle eats the cat. The bald eagle needs the cat. The cat is red. The cow chases the bald eagle. The cow chases the cat. The cow is nice. The cow needs the bald eagle. If something chases the cow then the cow eats the bald eagle. If the cow needs the bald eagle then the bald eagle needs the cow. If something is rough and it chases the cat then it does not need the cow. If something eats the cow then it does not need the cow. If something chases the bald eagle then it is blue. If something is nice then it chases the cow. If something eats the bald eagle then it needs the cat. If the cat is cold then the cat chases the bald eagle.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat is red.
("cat" "is" "red" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
If something chases the cow then the cow eats the bald eagle.
((("something" "chases" "cow" "+")) -> ("cow" "eats" "bald eagle" "+"))
If the cow needs the bald eagle then the bald eagle needs the cow.
((("cow" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
If something is rough and it chases the cat then it does not need the cow.
((("something" "is" "rough" "+") ("something" "chases" "cat" "+")) -> ("something" "needs" "cow" "-"))
If something eats the cow then it does not need the cow.
((("something" "eats" "cow" "+")) -> ("something" "needs" "cow" "-"))
If something chases the bald eagle then it is blue.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something is nice then it chases the cow.
((("something" "is" "nice" "+")) -> ("something" "chases" "cow" "+"))
If something eats the bald eagle then it needs the cat.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "cat" "+"))
If the cat is cold then the cat chases the bald eagle.
((("cat" "is" "cold" "+")) -> ("cat" "chases" "bald eagle" "+"))
The cat is red.
True
1
proof
[(triple3)]
("cat" "is" "red" "+")
triple3
The cow does not chase the cat.
False
1
inv-proof
[(triple5)]
("cow" "chases" "cat" "-")
triple5
The cow is blue.
True
2
proof
[(((triple4) -> rule5))]
("cow" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow does not chase the cow.
False
2
inv-proof
[(((triple6) -> rule6))]
("cow" "chases" "cow" "-")
((triple6) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow eats the bald eagle.
True
3
proof
[(((((triple6) -> rule6)) -> rule1))]
("cow" "eats" "bald eagle" "+")
((((triple6) -> (rule6 % int2))) -> (rule1 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow does not eat the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule6)) -> rule1))]
("cow" "eats" "bald eagle" "-")
((((triple6) -> (rule6 % int2))) -> (rule1 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow needs the cat.
True
4
proof
[(((((((triple6) -> rule6)) -> rule1)) -> rule7))]
("cow" "needs" "cat" "+")
((((((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cow does not need the cat.
False
4
inv-proof
[(((((((triple6) -> rule6)) -> rule1)) -> rule7))]
("cow" "needs" "cat" "-")
((((((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The cat chases the cow.
Unknown
rconc
[@1: The cat chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "chases" "cow" "+")
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@1: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The cat is blue.
Unknown
rconc
[@2: The cat is blue.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("cat" "is" "blue" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat is red.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the cat.[(triple5)] The cow is nice.[(triple6)] The cow needs the bald eagle.[(triple7)] @1: The bald eagle needs the cow.[(((triple7) -> rule2))] The cow chases the cow.[(((triple6) -> rule6))] The cow is blue.[(((triple4) -> rule5))] @2: The cow eats the bald eagle.[(((((triple6) -> rule6)) -> rule1))] @3: The cow needs the cat.[(((((((triple6) -> rule6)) -> rule1)) -> rule7))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple7
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple7) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((triple6) -> (rule6 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
((((triple6) -> (rule6 % int2))) -> (rule1 % int1))
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow needs the cat.
("cow" "needs" "cat" "+")
((((((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
int2
The cow chases the cow.
("cow" "chases" "cow" "+")
int3