The bald eagle does not chase the cow. The bald eagle visits the cow. The bald eagle visits the mouse. The bear is round. The cow is kind. The cow visits the bear. The mouse chases the bald eagle. If someone is red then they need the cow. If someone is rough and they do not need the mouse then the mouse needs the bald eagle. Kind people are red. If someone visits the cow and the cow does not chase the bald eagle then the bald eagle chases the bear. If someone is green and not red then they visit the cow. If someone chases the bear then the bear chases the mouse.
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bear is round.
("bear" "is" "round" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
If someone is red then they need the cow.
((("someone" "is" "red" "+")) -> ("someone" "needs" "cow" "+"))
If someone is rough and they do not need the mouse then the mouse needs the bald eagle.
((("someone" "is" "rough" "+") ("someone" "needs" "mouse" "~")) -> ("mouse" "needs" "bald eagle" "+"))
Kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone visits the cow and the cow does not chase the bald eagle then the bald eagle chases the bear.
((("someone" "visits" "cow" "+") ("cow" "chases" "bald eagle" "~")) -> ("bald eagle" "chases" "bear" "+"))
If someone is green and not red then they visit the cow.
((("someone" "is" "green" "+") ("someone" "is" "red" "~")) -> ("someone" "visits" "cow" "+"))
If someone chases the bear then the bear chases the mouse.
((("someone" "chases" "bear" "+")) -> ("bear" "chases" "mouse" "+"))
The cow is kind.
True
1
proof
[(triple5)]
("cow" "is" "kind" "+")
triple5
The bald eagle chases the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The cow is red.
True
2
proof
[(((triple5) -> rule3))]
("cow" "is" "red" "+")
((triple5) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is not red.
False
2
inv-proof
[(((triple5) -> rule3))]
("cow" "is" "red" "-")
((triple5) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cow.
True
3
proof
[(((((triple5) -> rule3)) -> rule1))]
("cow" "needs" "cow" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow does not need the cow.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule1))]
("cow" "needs" "cow" "-")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "red" "-")
The bear needs the cow.
Unknown
rconc
[@2: The bear needs the cow.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bear" "needs" "cow" "+")
The mouse does not need the cow.
Unknown
inv-rconc
[@2: The mouse needs the cow.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("mouse" "needs" "cow" "-")
The bald eagle visits the bear.
Unknown
random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle visits the cow.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bear is round.[(triple4)] The cow is kind.[(triple5)] The cow visits the bear.[(triple6)] The mouse chases the bald eagle.[(triple7)] @1: The cow is red.[(((triple5) -> rule3))] @2: The cow needs the cow.[(((((triple5) -> rule3)) -> rule1))]
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The cow is kind.
("cow" "is" "kind" "+")
triple5
The cow visits the bear.
("cow" "visits" "bear" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The cow is red.
("cow" "is" "red" "+")
((triple5) -> (rule3 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow needs the cow.
("cow" "needs" "cow" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2