The bald eagle chases the tiger. The bald eagle is big. The bald eagle visits the rabbit. The rabbit is blue. The squirrel chases the bald eagle. The squirrel chases the rabbit. The squirrel visits the tiger. The tiger chases the squirrel. The tiger eats the rabbit. The tiger is rough. If something visits the bald eagle then the bald eagle chases the rabbit. If something eats the rabbit then it visits the squirrel. If something eats the rabbit and it visits the rabbit then the rabbit eats the squirrel. If something visits the squirrel then it visits the bald eagle. If something eats the rabbit and it is rough then it chases the squirrel. If something eats the tiger then it chases the bald eagle.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something visits the bald eagle then the bald eagle chases the rabbit.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If something eats the rabbit then it visits the squirrel.
((("something" "eats" "rabbit" "+")) -> ("something" "visits" "squirrel" "+"))
If something eats the rabbit and it visits the rabbit then the rabbit eats the squirrel.
((("something" "eats" "rabbit" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something visits the squirrel then it visits the bald eagle.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "bald eagle" "+"))
If something eats the rabbit and it is rough then it chases the squirrel.
((("something" "eats" "rabbit" "+") ("something" "is" "rough" "+")) -> ("something" "chases" "squirrel" "+"))
If something eats the tiger then it chases the bald eagle.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "bald eagle" "+"))
The tiger eats the rabbit.
True
1
proof
[(triple9)]
("tiger" "eats" "rabbit" "+")
triple9
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "rabbit" "-")
triple3
The tiger visits the squirrel.
True
2
proof
[(((triple9) -> rule2))]
("tiger" "visits" "squirrel" "+")
((triple9) -> (rule2 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger does not visit the squirrel.
False
2
inv-proof
[(((triple9) -> rule2))]
("tiger" "visits" "squirrel" "-")
((triple9) -> (rule2 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger visits the bald eagle.
True
3
proof
[(((((triple9) -> rule2)) -> rule4))]
("tiger" "visits" "bald eagle" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The tiger does not visit the bald eagle.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule4))]
("tiger" "visits" "bald eagle" "-")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The bald eagle chases the rabbit.
True
4
proof
[(((((((triple9) -> rule2)) -> rule4)) -> rule1))]
("bald eagle" "chases" "rabbit" "+")
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int3
The bald eagle does not chase the rabbit.
False
4
inv-proof
[(((((((triple9) -> rule2)) -> rule4)) -> rule1))]
("bald eagle" "chases" "rabbit" "-")
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit chases the bald eagle.
Unknown
rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "bald eagle" "+")
The rabbit does not chase the squirrel.
Unknown
inv-rconc
[@1: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "squirrel" "-")
The rabbit visits the bald eagle.
Unknown
rconc
[@2: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("rabbit" "visits" "bald eagle" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The tiger eats the squirrel.
Unknown
random
[@0: The tiger eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "squirrel" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The rabbit is blue.[(triple4)] The squirrel chases the bald eagle.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger chases the squirrel.[(triple8 OR ((triple9 triple10) -> rule5))] The tiger eats the rabbit.[(triple9)] The tiger is rough.[(triple10)] @1: The tiger visits the squirrel.[(((triple9) -> rule2))] @2: The tiger visits the bald eagle.[(((((triple9) -> rule2)) -> rule4))] @3: The bald eagle chases the rabbit.[(((((((triple9) -> rule2)) -> rule4)) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple6
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple8
((triple9 triple10) -> (rule5 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
((triple9) -> (rule2 % int1))
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int2
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
int3