The bald eagle chases the mouse. The bald eagle sees the mouse. The lion chases the bald eagle. The lion is nice. The lion sees the mouse. The lion visits the bald eagle. The mouse chases the bald eagle. The mouse chases the lion. The mouse sees the bald eagle. The mouse sees the lion. The mouse visits the bald eagle. The mouse visits the lion. If someone chases the bald eagle and they visit the lion then the lion sees the bald eagle. If someone visits the mouse and the mouse visits the lion then they chase the mouse. If someone visits the lion then they see the bald eagle. If someone sees the lion and they chase the bald eagle then the bald eagle chases the lion. If someone chases the bald eagle then they are rough. If someone is rough then they visit the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the mouse.
("lion" "sees" "mouse" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If someone chases the bald eagle and they visit the lion then the lion sees the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "lion" "+")) -> ("lion" "sees" "bald eagle" "+"))
If someone visits the mouse and the mouse visits the lion then they chase the mouse.
((("someone" "visits" "mouse" "+") ("mouse" "visits" "lion" "+")) -> ("someone" "chases" "mouse" "+"))
If someone visits the lion then they see the bald eagle.
((("someone" "visits" "lion" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone sees the lion and they chase the bald eagle then the bald eagle chases the lion.
((("someone" "sees" "lion" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If someone chases the bald eagle then they are rough.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they visit the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "mouse" "+"))
The bald eagle sees the mouse.
True
1
proof
[(triple2)]
("bald eagle" "sees" "mouse" "+")
triple2
The lion does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "chases" "bald eagle" "-")
triple3
The lion sees the bald eagle.
True
3
proof
[(((triple7 triple12) -> rule1))]
("lion" "sees" "bald eagle" "+")
((triple7 triple12) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple3) -> rule5))]
("lion" "is" "rough" "-")
((triple3) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion visits the mouse.
True
3
proof
[(((((triple3) -> rule5)) -> rule6))]
("lion" "visits" "mouse" "+")
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The mouse does not visit the mouse.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule6))]
("mouse" "visits" "mouse" "-")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse chases the mouse.
True
5
proof
[(((((((triple7) -> rule5)) -> rule6) triple12) -> rule2))]
("mouse" "chases" "mouse" "+")
((((((triple7) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The lion does not chase the mouse.
False
5
inv-proof
[(((((((triple3) -> rule5)) -> rule6) triple12) -> rule2))]
("lion" "chases" "mouse" "-")
((((((triple3) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@2: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle sees the lion.
Unknown
random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion is nice.[(triple4)] The lion sees the mouse.[(triple5)] The lion visits the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the lion.[(triple8)] The mouse sees the bald eagle.[(triple9 OR ((triple12) -> rule3))] The mouse sees the lion.[(triple10)] The mouse visits the bald eagle.[(triple11)] The mouse visits the lion.[(triple12)] @1: The bald eagle chases the lion.[(((triple10 triple7) -> rule4))] The lion is rough.[(((triple3) -> rule5))] The lion sees the bald eagle.[(((triple7 triple12) -> rule1))] The mouse is rough.[(((triple7) -> rule5))] @2: The lion visits the mouse.[(((((triple3) -> rule5)) -> rule6))] The mouse visits the mouse.[(((((triple7) -> rule5)) -> rule6))] @3: The lion chases the mouse.[(((((((triple3) -> rule5)) -> rule6) triple12) -> rule2))] The mouse chases the mouse.[(((((((triple7) -> rule5)) -> rule6) triple12) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion sees the mouse.
("lion" "sees" "mouse" "+")
triple5
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple8
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple9
((triple12) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple10
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple11
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
((triple10 triple7) -> (rule4 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple3) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
((triple7 triple12) -> (rule1 % int1))
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple7) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
((((triple3) -> (rule5 % int2))) -> (rule6 % int1))
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
((((((triple3) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
The lion chases the mouse.
("lion" "chases" "mouse" "+")
int1
The lion visits the mouse.
("lion" "visits" "mouse" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((triple7) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3