The bald eagle is kind. The bald eagle likes the cow. The cow is blue. The cow is kind. The cow is not red. The mouse is cold. The mouse is green. If something is blue then it visits the mouse. If the mouse is blue then the mouse does not chase the bald eagle. If something chases the cow then the cow does not like the bald eagle. If something likes the bald eagle then the bald eagle is red. If something visits the mouse then it likes the bald eagle. If something is green then it does not like the bald eagle. If something visits the mouse then the mouse does not visit the cow. If something is cold and it likes the mouse then the mouse is cold.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is not red.
("cow" "is" "red" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
If something is blue then it visits the mouse.
((("something" "is" "blue" "+")) -> ("something" "visits" "mouse" "+"))
If the mouse is blue then the mouse does not chase the bald eagle.
((("mouse" "is" "blue" "+")) -> ("mouse" "chases" "bald eagle" "-"))
If something chases the cow then the cow does not like the bald eagle.
((("something" "chases" "cow" "+")) -> ("cow" "likes" "bald eagle" "-"))
If something likes the bald eagle then the bald eagle is red.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something visits the mouse then it likes the bald eagle.
((("something" "visits" "mouse" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is green then it does not like the bald eagle.
((("something" "is" "green" "+")) -> ("something" "likes" "bald eagle" "-"))
If something visits the mouse then the mouse does not visit the cow.
((("something" "visits" "mouse" "+")) -> ("mouse" "visits" "cow" "-"))
If something is cold and it likes the mouse then the mouse is cold.
((("something" "is" "cold" "+") ("something" "likes" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
The bald eagle likes the cow.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cow" "+")
triple2
The cow is not blue.
False
1
inv-proof
[(triple3)]
("cow" "is" "blue" "-")
triple3
The cow visits the mouse.
True
2
proof
[(((triple3) -> rule1))]
("cow" "visits" "mouse" "+")
((triple3) -> (rule1 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The mouse likes the bald eagle.
False
2
inv-proof
[(((triple7) -> rule6))]
("mouse" "likes" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
int1
The cow likes the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule5))]
("cow" "likes" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The cow does not like the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule5))]
("cow" "likes" "bald eagle" "-")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The bald eagle is red.
True
4
proof
[(((((((triple3) -> rule1)) -> rule5)) -> rule4))]
("bald eagle" "is" "red" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int3
The bald eagle is not red.
False
4
inv-proof
[(((((((triple3) -> rule1)) -> rule5)) -> rule4))]
("bald eagle" "is" "red" "-")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int3
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@2: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse chases the cow.
Unknown
random
[@0: The mouse chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cow" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
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" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cow.[(triple2)] The cow is blue.[(triple3)] The cow is kind.[(triple4)] The cow is not red.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] @1: The cow visits the mouse.[(((triple3) -> rule1))] The mouse does not like the bald eagle.[(((triple7) -> rule6))] @2: The cow likes the bald eagle.[(((((triple3) -> rule1)) -> rule5))] The mouse does not visit the cow.[(((((triple3) -> rule1)) -> rule7))] @3: The bald eagle is red.[(((((((triple3) -> rule1)) -> rule5)) -> rule4))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is not red.
("cow" "is" "red" "-")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple7
The cow visits the mouse.
("cow" "visits" "mouse" "+")
((triple3) -> (rule1 % int1))
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int1
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
((triple7) -> (rule6 % int1))
The mouse does not like the bald eagle.
("mouse" "likes" "bald eagle" "-")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The mouse does not visit the cow.
("mouse" "visits" "cow" "-")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
The mouse does not visit the cow.
("mouse" "visits" "cow" "-")
int1
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The cow visits the mouse.
("cow" "visits" "mouse" "+")
int3