The bald eagle is green. The bald eagle does not like the cat. The bear is not rough. The bear needs the cat. The cat is round. The mouse is red. The mouse likes the bald eagle. If something needs the mouse and the mouse does not eat the bear then the mouse does not need the bear. If the mouse is not red then the mouse needs the bear. If something is red then it does not need the cat. If something likes the bald eagle and it is red then the bald eagle is not red. If something is green and not red then it needs the bald eagle. If something eats the mouse and it needs the bald eagle then the mouse needs the bald eagle. If something needs the bald eagle then it eats the mouse.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bear is not rough.
("bear" "is" "rough" "-")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat is round.
("cat" "is" "round" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If something needs the mouse and the mouse does not eat the bear then the mouse does not need the bear.
((("something" "needs" "mouse" "+") ("mouse" "eats" "bear" "~")) -> ("mouse" "needs" "bear" "-"))
If the mouse is not red then the mouse needs the bear.
((("mouse" "is" "red" "~")) -> ("mouse" "needs" "bear" "+"))
If something is red then it does not need the cat.
((("something" "is" "red" "+")) -> ("something" "needs" "cat" "-"))
If something likes the bald eagle and it is red then the bald eagle is not red.
((("something" "likes" "bald eagle" "+") ("something" "is" "red" "+")) -> ("bald eagle" "is" "red" "-"))
If something is green and not red then it needs the bald eagle.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "needs" "bald eagle" "+"))
If something eats the mouse and it needs the bald eagle then the mouse needs the bald eagle.
((("something" "eats" "mouse" "+") ("something" "needs" "bald eagle" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If something needs the bald eagle then it eats the mouse.
((("something" "needs" "bald eagle" "+")) -> ("something" "eats" "mouse" "+"))
The mouse is red.
True
1
proof
[(triple6)]
("mouse" "is" "red" "+")
triple6
The mouse is not red.
False
1
inv-proof
[(triple6)]
("mouse" "is" "red" "-")
triple6
The mouse does not need the cat.
True
2
proof
[(((triple6) -> rule3))]
("mouse" "needs" "cat" "-")
((triple6) -> (rule3 % int1))
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
int1
The mouse needs the cat.
False
2
inv-proof
[(((triple6) -> rule3))]
("mouse" "needs" "cat" "+")
((triple6) -> (rule3 % int1))
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
int1
The bald eagle needs the bald eagle.
True
5
proof
[(((triple1 ((triple7 triple6) -> rule4)) -> rule5))]
("bald eagle" "needs" "bald eagle" "+")
((triple1 ((triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2
The bald eagle does not need the bald eagle.
False
5
inv-proof
[(((triple1 ((triple7 triple6) -> rule4)) -> rule5))]
("bald eagle" "needs" "bald eagle" "-")
((triple1 ((triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2
The bald eagle eats the mouse.
True
6
proof
[(((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7))]
("bald eagle" "eats" "mouse" "+")
((((triple1 ((triple7 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int3
The bald eagle does not eat the mouse.
False
6
inv-proof
[(((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7))]
("bald eagle" "eats" "mouse" "-")
((((triple1 ((triple7 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int3
The mouse needs the bald eagle.
True
12
proof
[(((((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7) ((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule6))]
("mouse" "needs" "bald eagle" "+")
((((((triple1 ((triple7 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1 ((triple7 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int4
The mouse does not need the bald eagle.
False
12
inv-proof
[(((((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7) ((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule6))]
("mouse" "needs" "bald eagle" "-")
((((((triple1 ((triple7 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1 ((triple7 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int4
The mouse eats the mouse.
True
13
proof
[(((((((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7) ((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule6)) -> rule7))]
("mouse" "eats" "mouse" "+")
((((((((triple1 ((triple7 triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple1 ((triple7 triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int5
The mouse does not eat the mouse.
False
13
inv-proof
[(((((((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7) ((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule6)) -> rule7))]
("mouse" "eats" "mouse" "-")
((((((((triple1 ((triple7 triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple1 ((triple7 triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int5
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The bear eats the mouse.
Unknown
rconc
[@2: The bear eats the mouse.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("bear" "eats" "mouse" "+")
The cat does not eat the mouse.
Unknown
inv-rconc
[@2: The cat eats the mouse.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("cat" "eats" "mouse" "-")
The mouse needs the bear.
Unknown
rconc
[@1: The mouse needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "bear" "+")
The bear does not need the bald eagle.
Unknown
inv-rconc
[@1: The bear needs the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "bald eagle" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The mouse likes the cat.
Unknown
random
[@0: The mouse likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "cat" "+")
@0: The bald eagle does not like the cat.[(triple2)] The bald eagle is green.[(triple1)] The bear is not rough.[(triple3)] The bear needs the cat.[(triple4)] The cat is round.[(triple5)] The mouse is red.[(triple6)] The mouse likes the bald eagle.[(triple7)] @1: The bald eagle is not red.[(((triple7 triple6) -> rule4))] The mouse does not need the cat.[(((triple6) -> rule3))] @2: The bald eagle needs the bald eagle.[(((triple1 ((triple7 triple6) -> rule4)) -> rule5))] @3: The bald eagle eats the mouse.[(((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7))] @4: The mouse needs the bald eagle.[(((((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7) ((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule6))] @5: The mouse eats the mouse.[(((((((((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule7) ((triple1 ((triple7 triple6) -> rule4)) -> rule5)) -> rule6)) -> rule7))]
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bear is not rough.
("bear" "is" "rough" "-")
triple3
The bear needs the cat.
("bear" "needs" "cat" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The bald eagle is not red.
("bald eagle" "is" "red" "-")
((triple7 triple6) -> (rule4 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
((triple6) -> (rule3 % int1))
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple1 ((triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((((triple1 ((triple7 triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((((((triple1 ((triple7 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1 ((triple7 triple6) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((((((((triple1 ((triple7 triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple1 ((triple7 triple6) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int4
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int5