The bald eagle sees the rabbit. The bald eagle visits the tiger. The mouse sees the tiger. The mouse visits the bald eagle. The rabbit is blue. The rabbit is young. The tiger likes the bald eagle. The tiger likes the rabbit. The tiger sees the rabbit. The tiger visits the bald eagle. If something is blue then it visits the rabbit. If the mouse is young then the mouse visits the tiger. If something sees the mouse then the mouse is green. If something sees the bald eagle then it sees the tiger. If something visits the rabbit then it sees the bald eagle. If the mouse is green then the mouse is rough. If something sees the bald eagle and it visits the rabbit then the bald eagle sees the rabbit. If something sees the bald eagle then it sees the mouse.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something is blue then it visits the rabbit.
((("something" "is" "blue" "+")) -> ("something" "visits" "rabbit" "+"))
If the mouse is young then the mouse visits the tiger.
((("mouse" "is" "young" "+")) -> ("mouse" "visits" "tiger" "+"))
If something sees the mouse then the mouse is green.
((("something" "sees" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If something sees the bald eagle then it sees the tiger.
((("something" "sees" "bald eagle" "+")) -> ("something" "sees" "tiger" "+"))
If something visits the rabbit then it sees the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
If the mouse is green then the mouse is rough.
((("mouse" "is" "green" "+")) -> ("mouse" "is" "rough" "+"))
If something sees the bald eagle and it visits the rabbit then the bald eagle sees the rabbit.
((("something" "sees" "bald eagle" "+") ("something" "visits" "rabbit" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If something sees the bald eagle then it sees the mouse.
((("something" "sees" "bald eagle" "+")) -> ("something" "sees" "mouse" "+"))
The tiger likes the bald eagle.
True
1
proof
[(triple7)]
("tiger" "likes" "bald eagle" "+")
triple7
The tiger does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("tiger" "visits" "bald eagle" "-")
triple10
The rabbit visits the rabbit.
True
2
proof
[(((triple5) -> rule1))]
("rabbit" "visits" "rabbit" "+")
((triple5) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit does not visit the rabbit.
False
2
inv-proof
[(((triple5) -> rule1))]
("rabbit" "visits" "rabbit" "-")
((triple5) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit sees the bald eagle.
True
3
proof
[(((((triple5) -> rule1)) -> rule5))]
("rabbit" "sees" "bald eagle" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule5))]
("rabbit" "sees" "bald eagle" "-")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit sees the tiger.
True
4
proof
[(((((((triple5) -> rule1)) -> rule5)) -> rule4))]
("rabbit" "sees" "tiger" "+")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit does not see the mouse.
False
4
inv-proof
[(((((((triple5) -> rule1)) -> rule5)) -> rule8))]
("rabbit" "sees" "mouse" "-")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The mouse is green.
True
5
proof
[(((((((((triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3))]
("mouse" "is" "green" "+")
((((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The mouse is not green.
False
5
inv-proof
[(((((((((triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3))]
("mouse" "is" "green" "-")
((((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The mouse is rough.
True
6
proof
[(((((((((((triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3)) -> rule6))]
("mouse" "is" "rough" "+")
((((((((((triple5) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The mouse is not rough.
False
6
inv-proof
[(((((((((((triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3)) -> rule6))]
("mouse" "is" "rough" "-")
((((((((((triple5) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The tiger does not see the mouse.
Unknown
inv-rconc
[@3: The tiger sees the mouse.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule1 <- FAIL)]]
("tiger" "sees" "mouse" "-")
The mouse visits the rabbit.
Unknown
rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "rabbit" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The bald eagle sees the mouse.
Unknown
rconc
[@3: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule1 <- FAIL)]]
("bald eagle" "sees" "mouse" "+")
The tiger does not see the tiger.
Unknown
inv-rconc
[@3: The tiger sees the tiger.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule1 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The mouse sees the mouse.
Unknown
rconc
[@3: The mouse sees the mouse.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule1 <- FAIL)]]
("mouse" "sees" "mouse" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse does not like the rabbit.
Unknown
inv-random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
@0: The bald eagle sees the rabbit.[(triple1 OR ((((((triple5) -> rule1)) -> rule5) ((triple5) -> rule1)) -> rule7))] The bald eagle visits the tiger.[(triple2)] The mouse sees the tiger.[(triple3)] The mouse visits the bald eagle.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is young.[(triple6)] The tiger likes the bald eagle.[(triple7)] The tiger likes the rabbit.[(triple8)] The tiger sees the rabbit.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The rabbit visits the rabbit.[(((triple5) -> rule1))] @2: The rabbit sees the bald eagle.[(((((triple5) -> rule1)) -> rule5))] @3: The rabbit sees the mouse.[(((((((triple5) -> rule1)) -> rule5)) -> rule8))] The rabbit sees the tiger.[(((((((triple5) -> rule1)) -> rule5)) -> rule4))] @4: The mouse is green.[(((((((((triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3))] @5: The mouse is rough.[(((((((((((triple5) -> rule1)) -> rule5)) -> rule8)) -> rule3)) -> rule6))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int3))) -> (rule7 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple3
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple7
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple8
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple5) -> (rule1 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((((triple5) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
((((((triple5) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The mouse is green.
("mouse" "is" "green" "+")
((((((((triple5) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
((((((((((triple5) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5