The bald eagle chases the rabbit. The bald eagle sees the rabbit. The rabbit is round. The squirrel eats the bald eagle. The squirrel does not eat the tiger. The squirrel is kind. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger chases the rabbit. The tiger eats the bald eagle. The tiger eats the rabbit. The tiger is kind. The tiger is round. The tiger sees the squirrel. If something chases the bald eagle and it eats the bald eagle then the bald eagle eats the tiger. If something eats the bald eagle and the bald eagle sees the tiger then the tiger chases the rabbit. If the tiger sees the squirrel then the tiger chases the rabbit. If the bald eagle is not round then the bald eagle does not see the squirrel. If something chases the tiger then the tiger is blue. If something eats the tiger then it chases the squirrel. If something sees the rabbit then it chases the bald eagle. If something is green then it eats the squirrel.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If something chases the bald eagle and it eats the bald eagle then the bald eagle eats the tiger.
((("something" "chases" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
If something eats the bald eagle and the bald eagle sees the tiger then the tiger chases the rabbit.
((("something" "eats" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("tiger" "chases" "rabbit" "+"))
If the tiger sees the squirrel then the tiger chases the rabbit.
((("tiger" "sees" "squirrel" "+")) -> ("tiger" "chases" "rabbit" "+"))
If the bald eagle is not round then the bald eagle does not see the squirrel.
((("bald eagle" "is" "round" "~")) -> ("bald eagle" "sees" "squirrel" "-"))
If something chases the tiger then the tiger is blue.
((("something" "chases" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If something eats the tiger then it chases the squirrel.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "squirrel" "+"))
If something sees the rabbit then it chases the bald eagle.
((("something" "sees" "rabbit" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is green then it eats the squirrel.
((("something" "is" "green" "+")) -> ("something" "eats" "squirrel" "+"))
The bald eagle sees the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "sees" "rabbit" "+")
triple2
The squirrel does not see the tiger.
False
1
inv-proof
[(triple10)]
("squirrel" "sees" "tiger" "-")
triple10
The bald eagle chases the bald eagle.
True
2
proof
[(((triple2) -> rule7))]
("bald eagle" "chases" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The squirrel does not chase the bald eagle.
False
2
inv-proof
[(((triple9) -> rule7))]
("squirrel" "chases" "bald eagle" "-")
((triple9) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle eats the tiger.
True
4
proof
[(((((triple9) -> rule7) triple4) -> rule1))]
("bald eagle" "eats" "tiger" "+")
((((triple9) -> (rule7 % int2)) triple4) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The bald eagle does not eat the tiger.
False
4
inv-proof
[(((((triple9) -> rule7) triple4) -> rule1))]
("bald eagle" "eats" "tiger" "-")
((((triple9) -> (rule7 % int2)) triple4) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The bald eagle chases the squirrel.
True
5
proof
[(((((((triple9) -> rule7) triple4) -> rule1)) -> rule6))]
("bald eagle" "chases" "squirrel" "+")
((((((triple9) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The bald eagle does not chase the squirrel.
False
5
inv-proof
[(((((((triple9) -> rule7) triple4) -> rule1)) -> rule6))]
("bald eagle" "chases" "squirrel" "-")
((((((triple9) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3
The rabbit does not chase the squirrel.
Unknown
inv-rconc
[@1: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "squirrel" "-")
The rabbit eats the squirrel.
Unknown
rconc
[@1: The rabbit eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "eats" "squirrel" "+")
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "blue" "-")
The tiger eats the squirrel.
Unknown
rconc
[@1: The tiger eats the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "eats" "squirrel" "+")
The tiger does not see the bald eagle.
Unknown
inv-random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The bald eagle does not eat the rabbit.
Unknown
inv-random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The rabbit is round.[(triple3)] The squirrel does not eat the tiger.[(triple5)] The squirrel eats the bald eagle.[(triple4)] The squirrel is kind.[(triple6)] The squirrel is rough.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the rabbit.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger chases the rabbit.[(triple11 OR ((triple16) -> rule3))] The tiger eats the bald eagle.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is kind.[(triple14)] The tiger is round.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule7))] The squirrel chases the bald eagle.[(((triple9) -> rule7))] @2: The bald eagle eats the tiger.[(((((triple9) -> rule7) triple4) -> rule1))] @3: The bald eagle chases the squirrel.[(((((((triple9) -> rule7) triple4) -> rule1)) -> rule6))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple8
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple9
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple10
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple11
((triple16) -> (rule3 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple13
The tiger is kind.
("tiger" "is" "kind" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple9) -> (rule7 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((((triple9) -> (rule7 % int2)) triple4) -> (rule1 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
((((((triple9) -> (rule7 % int3)) triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3