The bald eagle sees the mouse. The bear sees the mouse. The bear visits the mouse. The bear visits the tiger. The mouse is rough. The mouse is round. The mouse likes the tiger. The mouse sees the bald eagle. The tiger is big. The tiger is rough. The tiger sees the mouse. If someone sees the mouse and they are round then the mouse visits the tiger. If someone is red then they visit the bald eagle. If someone is big and they see the mouse then they like the bear. If someone likes the bear then they are red. If someone visits the bald eagle then the bald eagle is round. If the bear sees the bald eagle and the bald eagle likes the tiger then the bald eagle is round. If someone likes the bald eagle then the bald eagle sees the mouse. If someone sees the bald eagle then they like the mouse.
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone sees the mouse and they are round then the mouse visits the tiger.
((("someone" "sees" "mouse" "+") ("someone" "is" "round" "+")) -> ("mouse" "visits" "tiger" "+"))
If someone is red then they visit the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is big and they see the mouse then they like the bear.
((("someone" "is" "big" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear then they are red.
((("someone" "likes" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone visits the bald eagle then the bald eagle is round.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If the bear sees the bald eagle and the bald eagle likes the tiger then the bald eagle is round.
((("bear" "sees" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("bald eagle" "is" "round" "+"))
If someone likes the bald eagle then the bald eagle sees the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If someone sees the bald eagle then they like the mouse.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "mouse" "+"))
The bear visits the tiger.
True
1
proof
[(triple4)]
("bear" "visits" "tiger" "+")
triple4
The mouse is not rough.
False
1
inv-proof
[(triple5)]
("mouse" "is" "rough" "-")
triple5
The mouse likes the mouse.
True
2
proof
[(((triple8) -> rule8))]
("mouse" "likes" "mouse" "+")
((triple8) -> (rule8 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple8) -> rule8))]
("mouse" "likes" "mouse" "-")
((triple8) -> (rule8 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The tiger is red.
True
4
proof
[(((((triple9 triple11) -> rule3)) -> rule4))]
("tiger" "is" "red" "+")
((((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger is not red.
False
4
inv-proof
[(((((triple9 triple11) -> rule3)) -> rule4))]
("tiger" "is" "red" "-")
((((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger visits the bald eagle.
True
5
proof
[(((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2))]
("tiger" "visits" "bald eagle" "+")
((((((triple9 triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The tiger does not visit the bald eagle.
False
5
inv-proof
[(((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2))]
("tiger" "visits" "bald eagle" "-")
((((((triple9 triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The bald eagle is round.
True
6
proof
[(((((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5))]
("bald eagle" "is" "round" "+")
((((((((triple9 triple11) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The bald eagle is not round.
False
6
inv-proof
[(((((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5))]
("bald eagle" "is" "round" "-")
((((((((triple9 triple11) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The mouse visits the tiger.
True
8
proof
[(((triple1 ((((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5)) -> rule1))]
("mouse" "visits" "tiger" "+")
((triple1 ((((((((triple9 triple11) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int5
The mouse does not visit the tiger.
False
8
inv-proof
[(((triple1 ((((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5)) -> rule1))]
("mouse" "visits" "tiger" "-")
((triple1 ((((((((triple9 triple11) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int5
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "likes" "mouse" "-")
The bear is red.
Unknown
rconc
[@2: The bear is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("bear" "is" "red" "+")
The bald eagle does not like the bear.
Unknown
inv-rconc
[@1: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bear" "-")
The mouse is red.
Unknown
rconc
[@2: The mouse is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("mouse" "is" "red" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@3: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle likes the mouse.
Unknown
rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "likes" "mouse" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The tiger sees the bear.
Unknown
random
[@0: The tiger sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bear" "+")
The bald eagle does not like the tiger.
Unknown
inv-random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
The bear does not like the tiger.
Unknown
inv-random
[@0: The bear likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "tiger" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle sees the mouse.[(triple1)] The bear sees the mouse.[(triple2)] The bear visits the mouse.[(triple3)] The bear visits the tiger.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The mouse likes the tiger.[(triple7)] The mouse sees the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger is rough.[(triple10)] The tiger sees the mouse.[(triple11)] @1: The mouse likes the mouse.[(((triple8) -> rule8))] The tiger likes the bear.[(((triple9 triple11) -> rule3))] @2: The tiger is red.[(((((triple9 triple11) -> rule3)) -> rule4))] @3: The tiger visits the bald eagle.[(((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2))] @4: The bald eagle is round.[(((((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5))] @5: The mouse visits the tiger.[(((triple1 ((((((((triple9 triple11) -> rule3)) -> rule4)) -> rule2)) -> rule5)) -> rule1))]
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple2
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple3
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple11
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple8) -> (rule8 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
((triple9 triple11) -> (rule3 % int1))
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
((((triple9 triple11) -> (rule3 % int2))) -> (rule4 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((((triple9 triple11) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((((((triple9 triple11) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
((triple1 ((((((((triple9 triple11) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger likes the bear.
("tiger" "likes" "bear" "+")
int5