The bald eagle is not young. The dog is cold. The dog is rough. The dog sees the bald eagle. The mouse is young. The mouse needs the rabbit. The rabbit chases the mouse. If the rabbit needs the bald eagle then the bald eagle does not need the rabbit. If something is rough and blue then it needs the dog. If something is rough then it sees the mouse. If something sees the mouse and the mouse needs the bald eagle then the mouse chases the rabbit. If something chases the dog and the dog chases the bald eagle then the dog does not see the rabbit. If something chases the bald eagle then the bald eagle chases the mouse. If something chases the bald eagle then the bald eagle does not see the mouse. If something sees the mouse then it chases the bald eagle.
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
If the rabbit needs the bald eagle then the bald eagle does not need the rabbit.
((("rabbit" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "rabbit" "-"))
If something is rough and blue then it needs the dog.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "needs" "dog" "+"))
If something is rough then it sees the mouse.
((("something" "is" "rough" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the mouse and the mouse needs the bald eagle then the mouse chases the rabbit.
((("something" "sees" "mouse" "+") ("mouse" "needs" "bald eagle" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something chases the dog and the dog chases the bald eagle then the dog does not see the rabbit.
((("something" "chases" "dog" "+") ("dog" "chases" "bald eagle" "+")) -> ("dog" "sees" "rabbit" "-"))
If something chases the bald eagle then the bald eagle chases the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If something chases the bald eagle then the bald eagle does not see the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "-"))
If something sees the mouse then it chases the bald eagle.
((("something" "sees" "mouse" "+")) -> ("something" "chases" "bald eagle" "+"))
The mouse needs the rabbit.
True
1
proof
[(triple6)]
("mouse" "needs" "rabbit" "+")
triple6
The dog is not cold.
False
1
inv-proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The dog sees the mouse.
True
2
proof
[(((triple3) -> rule3))]
("dog" "sees" "mouse" "+")
((triple3) -> (rule3 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog does not see the mouse.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "sees" "mouse" "-")
((triple3) -> (rule3 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog chases the bald eagle.
True
3
proof
[(((((triple3) -> rule3)) -> rule8))]
("dog" "chases" "bald eagle" "+")
((((triple3) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The dog does not chase the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule8))]
("dog" "chases" "bald eagle" "-")
((((triple3) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The bald eagle does not see the mouse.
True
4
proof
[(((((((triple3) -> rule3)) -> rule8)) -> rule7))]
("bald eagle" "sees" "mouse" "-")
((((((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The bald eagle does not chase the mouse.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule8)) -> rule6))]
("bald eagle" "chases" "mouse" "-")
((((((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The rabbit does not see the mouse.
Unknown
inv-rconc
[@1: The rabbit sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "mouse" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@2: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The rabbit needs the dog.
Unknown
rconc
[@1: The rabbit needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "dog" "+")
The rabbit does not need the mouse.
Unknown
inv-random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The bald eagle is not young.[(triple1)] The dog is cold.[(triple2)] The dog is rough.[(triple3)] The dog sees the bald eagle.[(triple4)] The mouse is young.[(triple5)] The mouse needs the rabbit.[(triple6)] The rabbit chases the mouse.[(triple7)] @1: The dog sees the mouse.[(((triple3) -> rule3))] @2: The dog chases the bald eagle.[(((((triple3) -> rule3)) -> rule8))] @3: The bald eagle chases the mouse.[(((((((triple3) -> rule3)) -> rule8)) -> rule6))] The bald eagle does not see the mouse.[(((((((triple3) -> rule3)) -> rule8)) -> rule7))]
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple6
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple7
The dog sees the mouse.
("dog" "sees" "mouse" "+")
((triple3) -> (rule3 % int1))
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((((triple3) -> (rule3 % int2))) -> (rule8 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int2
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((((((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
((((((triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle does not see the mouse.
("bald eagle" "sees" "mouse" "-")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
int3