The bald eagle likes the squirrel. The cat does not chase the mouse. The cat is round. The mouse chases the bald eagle. The mouse is rough. The mouse likes the bald eagle. The mouse does not like the cat. The squirrel chases the mouse. The squirrel eats the bald eagle. The squirrel eats the mouse. If someone is round and young then they do not chase the squirrel. If someone is young and they like the cat then the cat is kind. If someone likes the bald eagle then they eat the bald eagle. If someone is rough and they eat the bald eagle then they eat the cat. If someone chases the bald eagle and they like the bald eagle then the bald eagle is rough. If someone eats the cat then they chase the mouse. If someone chases the mouse and they like the squirrel then the mouse chases the cat. If someone chases the mouse and the mouse does not eat the cat then the cat chases the mouse.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is round.
("cat" "is" "round" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
If someone is round and young then they do not chase the squirrel.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "chases" "squirrel" "-"))
If someone is young and they like the cat then the cat is kind.
((("someone" "is" "young" "+") ("someone" "likes" "cat" "+")) -> ("cat" "is" "kind" "+"))
If someone likes the bald eagle then they eat the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is rough and they eat the bald eagle then they eat the cat.
((("someone" "is" "rough" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "cat" "+"))
If someone chases the bald eagle and they like the bald eagle then the bald eagle is rough.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone eats the cat then they chase the mouse.
((("someone" "eats" "cat" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the mouse and they like the squirrel then the mouse chases the cat.
((("someone" "chases" "mouse" "+") ("someone" "likes" "squirrel" "+")) -> ("mouse" "chases" "cat" "+"))
If someone chases the mouse and the mouse does not eat the cat then the cat chases the mouse.
((("someone" "chases" "mouse" "+") ("mouse" "eats" "cat" "~")) -> ("cat" "chases" "mouse" "+"))
The mouse chases the bald eagle.
True
1
proof
[(triple4)]
("mouse" "chases" "bald eagle" "+")
triple4
The mouse does not chase the bald eagle.
False
1
inv-proof
[(triple4)]
("mouse" "chases" "bald eagle" "-")
triple4
The mouse eats the bald eagle.
True
2
proof
[(((triple6) -> rule3))]
("mouse" "eats" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The bald eagle is not rough.
False
3
inv-proof
[(((triple4 triple6) -> rule5))]
("bald eagle" "is" "rough" "-")
((triple4 triple6) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the cat.
True
4
proof
[(((triple5 ((triple6) -> rule3)) -> rule4))]
("mouse" "eats" "cat" "+")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse does not eat the cat.
False
4
inv-proof
[(((triple5 ((triple6) -> rule3)) -> rule4))]
("mouse" "eats" "cat" "-")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse chases the mouse.
True
5
proof
[(((((triple5 ((triple6) -> rule3)) -> rule4)) -> rule6))]
("mouse" "chases" "mouse" "+")
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The mouse does not chase the mouse.
False
5
inv-proof
[(((((triple5 ((triple6) -> rule3)) -> rule4)) -> rule6))]
("mouse" "chases" "mouse" "-")
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3
The cat does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "bald eagle" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "cat" "+")
The squirrel does not eat the cat.
Unknown
inv-rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The cat likes the mouse.
Unknown
random
[@0: The cat likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "mouse" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The squirrel chases the cat.
Unknown
random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The cat does not chase the mouse.[(triple2)] The cat is round.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse does not like the cat.[(triple7)] The mouse is rough.[(triple5)] The mouse likes the bald eagle.[(triple6)] The squirrel chases the mouse.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the mouse.[(triple10)] @1: The bald eagle is rough.[(((triple4 triple6) -> rule5))] The mouse eats the bald eagle.[(((triple6) -> rule3))] @2: The mouse eats the cat.[(((triple5 ((triple6) -> rule3)) -> rule4))] @3: The mouse chases the mouse.[(((((triple5 ((triple6) -> rule3)) -> rule4)) -> rule6))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple4
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple4 triple6) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple6) -> (rule3 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
((triple5 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((triple5 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the cat.
("mouse" "eats" "cat" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int3