The bald eagle is blue. The bald eagle needs the cow. The cow chases the mouse. The cow eats the dog. The cow eats the mouse. The cow is big. The cow is kind. The cow needs the bald eagle. The dog chases the cow. The dog does not eat the bald eagle. The dog eats the cow. The dog is big. The dog is kind. The dog does not need the mouse. The mouse does not eat the dog. If the bald eagle is big then the bald eagle chases the mouse. If something chases the bald eagle and it is young then the bald eagle chases the mouse. If something needs the mouse then the mouse chases the cow. If something chases the mouse and it is young then the mouse is kind. If something is young and it eats the mouse then it is big. If something is kind then it is young.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
If the bald eagle is big then the bald eagle chases the mouse.
((("bald eagle" "is" "big" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something chases the bald eagle and it is young then the bald eagle chases the mouse.
((("something" "chases" "bald eagle" "+") ("something" "is" "young" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something needs the mouse then the mouse chases the cow.
((("something" "needs" "mouse" "+")) -> ("mouse" "chases" "cow" "+"))
If something chases the mouse and it is young then the mouse is kind.
((("something" "chases" "mouse" "+") ("something" "is" "young" "+")) -> ("mouse" "is" "kind" "+"))
If something is young and it eats the mouse then it is big.
((("something" "is" "young" "+") ("something" "eats" "mouse" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
The dog is kind.
True
1
proof
[(triple13)]
("dog" "is" "kind" "+")
triple13
The mouse eats the dog.
False
1
inv-proof
[(triple15)]
("mouse" "eats" "dog" "+")
triple15
The cow is young.
True
2
proof
[(((triple7) -> rule6))]
("cow" "is" "young" "+")
((triple7) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple7) -> rule6))]
("cow" "is" "young" "-")
((triple7) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse is kind.
True
4
proof
[(((triple3 ((triple7) -> rule6)) -> rule4))]
("mouse" "is" "kind" "+")
((triple3 ((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse is not kind.
False
4
inv-proof
[(((triple3 ((triple7) -> rule6)) -> rule4))]
("mouse" "is" "kind" "-")
((triple3 ((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse is young.
True
5
proof
[(((((triple3 ((triple7) -> rule6)) -> rule4)) -> rule6))]
("mouse" "is" "young" "+")
((((triple3 ((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The mouse is not young.
False
5
inv-proof
[(((((triple3 ((triple7) -> rule6)) -> rule4)) -> rule6))]
("mouse" "is" "young" "-")
((((triple3 ((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The bald eagle does not chase the mouse.
Unknown
inv-rconc
[@2: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bald eagle" "chases" "mouse" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "+")
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "young" "+")
The cow does not need the mouse.
Unknown
inv-random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The bald eagle does not eat the dog.
Unknown
inv-random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "-")
The cow chases the bald eagle.
Unknown
random
[@0: The cow chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "bald eagle" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the cow.[(triple2)] The cow chases the mouse.[(triple3)] The cow eats the dog.[(triple4)] The cow eats the mouse.[(triple5)] The cow is big.[(triple6 OR ((((triple7) -> rule6) triple5) -> rule5))] The cow is kind.[(triple7)] The cow needs the bald eagle.[(triple8)] The dog chases the cow.[(triple9)] The dog does not eat the bald eagle.[(triple10)] The dog does not need the mouse.[(triple14)] The dog eats the cow.[(triple11)] The dog is big.[(triple12)] The dog is kind.[(triple13)] The mouse does not eat the dog.[(triple15)] @1: The cow is young.[(((triple7) -> rule6))] The dog is young.[(((triple13) -> rule6))] @2: The mouse is kind.[(((triple3 ((triple7) -> rule6)) -> rule4))] @3: The mouse is young.[(((((triple3 ((triple7) -> rule6)) -> rule4)) -> rule6))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple3
The cow eats the dog.
("cow" "eats" "dog" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
((((triple7) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
triple7
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple8
The dog chases the cow.
("dog" "chases" "cow" "+")
triple9
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple10
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
triple14
The dog eats the cow.
("dog" "eats" "cow" "+")
triple11
The dog is big.
("dog" "is" "big" "+")
triple12
The dog is kind.
("dog" "is" "kind" "+")
triple13
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple15
The cow is young.
("cow" "is" "young" "+")
((triple7) -> (rule6 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple13) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple3 ((triple7) -> (rule6 % int2))) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
((((triple3 ((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3