The bald eagle visits the tiger. The bear is round. The bear likes the tiger. The mouse is green. The mouse is young. The mouse does not see the bald eagle. The mouse sees the tiger. The mouse visits the bear. The tiger likes the bald eagle. The tiger likes the bear. The tiger sees the bald eagle. The tiger sees the mouse. If someone sees the mouse then they visit the bald eagle. If someone is round and they visit the bald eagle then the bald eagle is not nice. If someone visits the tiger then they see the bald eagle. If someone is young and they see the bald eagle then they visit the tiger. If the tiger visits the bald eagle then the bald eagle sees the mouse. If someone sees the bear then the bear does not visit the bald eagle. If someone sees the mouse and the mouse does not see the tiger then the tiger likes the bear. If the bald eagle is nice then the bald eagle is young.
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone sees the mouse then they visit the bald eagle.
((("someone" "sees" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is round and they visit the bald eagle then the bald eagle is not nice.
((("someone" "is" "round" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "-"))
If someone visits the tiger then they see the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is young and they see the bald eagle then they visit the tiger.
((("someone" "is" "young" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "visits" "tiger" "+"))
If the tiger visits the bald eagle then the bald eagle sees the mouse.
((("tiger" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If someone sees the bear then the bear does not visit the bald eagle.
((("someone" "sees" "bear" "+")) -> ("bear" "visits" "bald eagle" "-"))
If someone sees the mouse and the mouse does not see the tiger then the tiger likes the bear.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "tiger" "~")) -> ("tiger" "likes" "bear" "+"))
If the bald eagle is nice then the bald eagle is young.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "is" "young" "+"))
The mouse visits the bear.
True
1
proof
[(triple8)]
("mouse" "visits" "bear" "+")
triple8
The mouse sees the bald eagle.
False
1
inv-proof
[(triple6)]
("mouse" "sees" "bald eagle" "+")
triple6
The tiger visits the bald eagle.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "visits" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger does not visit the bald eagle.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "visits" "bald eagle" "-")
((triple12) -> (rule1 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle sees the mouse.
True
3
proof
[(((((triple12) -> rule1)) -> rule5))]
("bald eagle" "sees" "mouse" "+")
((((triple12) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The bald eagle does not see the mouse.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule5))]
("bald eagle" "sees" "mouse" "-")
((((triple12) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The mouse does not visit the tiger.
Unknown
inv-rconc
[@1: The mouse visits the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "visits" "tiger" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "young" "+")
The bear does not see the bald eagle.
Unknown
inv-rconc
[@2: The bear sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bear" "sees" "bald eagle" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle visits the tiger.[(triple1)] The bear is round.[(triple2)] The bear likes the tiger.[(triple3)] The mouse does not see the bald eagle.[(triple6)] The mouse is green.[(triple4)] The mouse is young.[(triple5)] The mouse sees the tiger.[(triple7)] The mouse visits the bear.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the bear.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the mouse.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule3))] The tiger visits the bald eagle.[(((triple12) -> rule1))] @2: The bald eagle sees the mouse.[(((((triple12) -> rule1)) -> rule5))] @3: The bald eagle visits the bald eagle.[(((((((triple12) -> rule1)) -> rule5)) -> rule1))]
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple3
The mouse does not see the bald eagle.
("mouse" "sees" "bald eagle" "-")
triple6
The mouse is green.
("mouse" "is" "green" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple7
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple8
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple10
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple11
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple12
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((triple12) -> (rule1 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((((triple12) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((triple12) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3