The bald eagle eats the rabbit. The bald eagle is young. The rabbit does not eat the bald eagle. The rabbit needs the bald eagle. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel eats the tiger. The squirrel is not green. The squirrel is kind. The squirrel is round. The squirrel needs the rabbit. The squirrel needs the tiger. The tiger eats the squirrel. The tiger is round. If someone eats the tiger then they need the bald eagle. If someone visits the bald eagle and they visit the rabbit then the rabbit needs the tiger. If the tiger is young then the tiger needs the squirrel. If someone needs the bald eagle and they do not eat the squirrel then the squirrel eats the bald eagle. If someone visits the bald eagle then they eat the tiger. If someone eats the tiger then they need the tiger. If someone is round then they visit the bald eagle. If someone needs the tiger then they are young. If someone visits the rabbit and the rabbit is kind then the rabbit is nice.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is round.
("tiger" "is" "round" "+")
If someone eats the tiger then they need the bald eagle.
((("someone" "eats" "tiger" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle and they visit the rabbit then the rabbit needs the tiger.
((("someone" "visits" "bald eagle" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "needs" "tiger" "+"))
If the tiger is young then the tiger needs the squirrel.
((("tiger" "is" "young" "+")) -> ("tiger" "needs" "squirrel" "+"))
If someone needs the bald eagle and they do not eat the squirrel then the squirrel eats the bald eagle.
((("someone" "needs" "bald eagle" "+") ("someone" "eats" "squirrel" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone visits the bald eagle then they eat the tiger.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the tiger then they need the tiger.
((("someone" "eats" "tiger" "+")) -> ("someone" "needs" "tiger" "+"))
If someone is round then they visit the bald eagle.
((("someone" "is" "round" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone needs the tiger then they are young.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "young" "+"))
If someone visits the rabbit and the rabbit is kind then the rabbit is nice.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "is" "nice" "+"))
The squirrel eats the tiger.
True
1
proof
[(triple7 OR ((((triple10) -> rule7)) -> rule5))]
("squirrel" "eats" "tiger" "+")
triple7
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The rabbit eats the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "bald eagle" "+")
triple3
The squirrel needs the bald eagle.
True
2
proof
[(((triple7) -> rule1) OR ((((((triple10) -> rule7)) -> rule5)) -> rule1))]
("squirrel" "needs" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel does not need the bald eagle.
False
2
inv-proof
[(((triple7) -> rule1) OR ((((((triple10) -> rule7)) -> rule5)) -> rule1))]
("squirrel" "needs" "bald eagle" "-")
((triple7) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The tiger eats the tiger.
True
3
proof
[(((((triple14) -> rule7)) -> rule5))]
("tiger" "eats" "tiger" "+")
((((triple14) -> (rule7 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger does not eat the tiger.
False
3
inv-proof
[(((((triple14) -> rule7)) -> rule5))]
("tiger" "eats" "tiger" "-")
((((triple14) -> (rule7 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger needs the bald eagle.
True
4
proof
[(((((((triple14) -> rule7)) -> rule5)) -> rule1))]
("tiger" "needs" "bald eagle" "+")
((((((triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger does not need the bald eagle.
False
4
inv-proof
[(((((((triple14) -> rule7)) -> rule5)) -> rule1))]
("tiger" "needs" "bald eagle" "-")
((((((triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is young.
True
5
proof
[(((((((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8))]
("tiger" "is" "young" "+")
((((((((triple14) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger is not young.
False
5
inv-proof
[(((((((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8))]
("tiger" "is" "young" "-")
((((((((triple14) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger needs the squirrel.
True
6
proof
[(((((((((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule3))]
("tiger" "needs" "squirrel" "+")
((((((((((triple14) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The tiger does not need the squirrel.
False
6
inv-proof
[(((((((((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule3))]
("tiger" "needs" "squirrel" "-")
((((((((((triple14) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5
The rabbit does not visit the bald eagle.
Unknown
inv-rconc
[@1: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The rabbit eats the tiger.
Unknown
rconc
[@2: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("rabbit" "eats" "tiger" "+")
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@3: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule7 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The rabbit needs the tiger.
Unknown
rconc
[@3: The rabbit needs the tiger.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule7 <- FAIL)]]
("rabbit" "needs" "tiger" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("rabbit" "is" "nice" "-")
The bald eagle eats the tiger.
Unknown
rconc
[@2: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("bald eagle" "eats" "tiger" "+")
The bald eagle does not need the rabbit.
Unknown
inv-random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The rabbit visits the tiger.
Unknown
random
[@0: The rabbit visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "tiger" "+")
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 rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit does not eat the squirrel.
Unknown
inv-random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is young.[(triple2)] The rabbit does not eat the bald eagle.[(triple3)] The rabbit needs the bald eagle.[(triple4)] The rabbit needs the squirrel.[(triple5)] The rabbit visits the squirrel.[(triple6)] The squirrel eats the tiger.[(triple7 OR ((((triple10) -> rule7)) -> rule5))] The squirrel is kind.[(triple9)] The squirrel is not green.[(triple8)] The squirrel is round.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel needs the tiger.[(triple12 OR ((triple7) -> rule6) OR ((((((triple10) -> rule7)) -> rule5)) -> rule6))] The tiger eats the squirrel.[(triple13)] The tiger is round.[(triple14)] @1: The squirrel is young.[(((triple12) -> rule8) OR ((((triple7) -> rule6)) -> rule8) OR ((((((((triple10) -> rule7)) -> rule5)) -> rule6)) -> rule8))] The squirrel needs the bald eagle.[(((triple7) -> rule1) OR ((((((triple10) -> rule7)) -> rule5)) -> rule1))] The squirrel visits the bald eagle.[(((triple10) -> rule7))] The tiger visits the bald eagle.[(((triple14) -> rule7))] @2: The tiger eats the tiger.[(((((triple14) -> rule7)) -> rule5))] @3: The tiger needs the bald eagle.[(((((((triple14) -> rule7)) -> rule5)) -> rule1))] The tiger needs the tiger.[(((((((triple14) -> rule7)) -> rule5)) -> rule6))] @4: The tiger is young.[(((((((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8))] @5: The tiger needs the squirrel.[(((((((((((triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8)) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple5
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel is not green.
("squirrel" "is" "green" "-")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple11
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple12
((triple7) -> (rule6 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
((triple12) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
((((((((triple10) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
((((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple10) -> (rule7 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((triple14) -> (rule7 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((((triple14) -> (rule7 % int2))) -> (rule5 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((((((triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((((triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
((((((((triple14) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int4
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
((((((((((triple14) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int5