The bald eagle is round. The cat eats the cow. The cow eats the mouse. The mouse eats the cat. The mouse eats the cow. The mouse is nice. The mouse is round. If something is kind then it does not chase the mouse. If the cow chases the cat and the cat eats the bald eagle then the cat chases the bald eagle. If the bald eagle eats the mouse then the bald eagle is nice. If the bald eagle chases the cat then the bald eagle is nice. If something likes the cow and it is not round then it is not nice. If the cow likes the mouse and the cow does not eat the bald eagle then the mouse chases the cow. If something likes the cat and the cat eats the mouse then it is not blue. If something is nice then it is kind.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
If something is kind then it does not chase the mouse.
((("something" "is" "kind" "+")) -> ("something" "chases" "mouse" "-"))
If the cow chases the cat and the cat eats the bald eagle then the cat chases the bald eagle.
((("cow" "chases" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("cat" "chases" "bald eagle" "+"))
If the bald eagle eats the mouse then the bald eagle is nice.
((("bald eagle" "eats" "mouse" "+")) -> ("bald eagle" "is" "nice" "+"))
If the bald eagle chases the cat then the bald eagle is nice.
((("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "is" "nice" "+"))
If something likes the cow and it is not round then it is not nice.
((("something" "likes" "cow" "+") ("something" "is" "round" "~")) -> ("something" "is" "nice" "-"))
If the cow likes the mouse and the cow does not eat the bald eagle then the mouse chases the cow.
((("cow" "likes" "mouse" "+") ("cow" "eats" "bald eagle" "~")) -> ("mouse" "chases" "cow" "+"))
If something likes the cat and the cat eats the mouse then it is not blue.
((("something" "likes" "cat" "+") ("cat" "eats" "mouse" "+")) -> ("something" "is" "blue" "-"))
If something is nice then it is kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
The mouse eats the cat.
True
1
proof
[(triple4)]
("mouse" "eats" "cat" "+")
triple4
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The mouse is kind.
True
2
proof
[(((triple6) -> rule8))]
("mouse" "is" "kind" "+")
((triple6) -> (rule8 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple6) -> rule8))]
("mouse" "is" "kind" "-")
((triple6) -> (rule8 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse does not chase the mouse.
True
3
proof
[(((((triple6) -> rule8)) -> rule1))]
("mouse" "chases" "mouse" "-")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
The mouse does not chase the mouse.
("mouse" "chases" "mouse" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse chases the mouse.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule1))]
("mouse" "chases" "mouse" "+")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
The mouse does not chase the mouse.
("mouse" "chases" "mouse" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The bald eagle is not kind.
Unknown
inv-rconc
[@2: The bald eagle is kind.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The mouse chases the cow.
Unknown
rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "chases" "cow" "+")
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "kind" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow eats the cat.
Unknown
random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "+")
@0: The bald eagle is round.[(triple1)] The cat eats the cow.[(triple2)] The cow eats the mouse.[(triple3)] The mouse eats the cat.[(triple4)] The mouse eats the cow.[(triple5)] The mouse is nice.[(triple6)] The mouse is round.[(triple7)] @1: The mouse is kind.[(((triple6) -> rule8))] @2: The mouse does not chase the mouse.[(((((triple6) -> rule8)) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cat eats the cow.
("cat" "eats" "cow" "+")
triple2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple3
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse is kind.
("mouse" "is" "kind" "+")
((triple6) -> (rule8 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse does not chase the mouse.
("mouse" "chases" "mouse" "-")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
The mouse does not chase the mouse.
("mouse" "chases" "mouse" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2