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