The bald eagle needs the squirrel. The rabbit is round. The rabbit likes the bald eagle. The rabbit likes the tiger. The rabbit needs the tiger. The squirrel likes the bald eagle. The squirrel needs the tiger. The squirrel visits the tiger. The tiger likes the rabbit. The tiger needs the bald eagle. If the bald eagle needs the tiger then the bald eagle likes the squirrel. If someone visits the tiger then they like the squirrel. If the rabbit is blue and the rabbit needs the squirrel then the squirrel likes the rabbit. If the squirrel visits the bald eagle then the bald eagle visits the squirrel. If someone is green then they need the tiger. If someone needs the squirrel then the squirrel visits the bald eagle. If the bald eagle is blue then the bald eagle is kind. If someone visits the squirrel then the squirrel is round.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If the bald eagle needs the tiger then the bald eagle likes the squirrel.
((("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone visits the tiger then they like the squirrel.
((("someone" "visits" "tiger" "+")) -> ("someone" "likes" "squirrel" "+"))
If the rabbit is blue and the rabbit needs the squirrel then the squirrel likes the rabbit.
((("rabbit" "is" "blue" "+") ("rabbit" "needs" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If the squirrel visits the bald eagle then the bald eagle visits the squirrel.
((("squirrel" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "+"))
If someone is green then they need the tiger.
((("someone" "is" "green" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the squirrel then the squirrel visits the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If the bald eagle is blue then the bald eagle is kind.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "kind" "+"))
If someone visits the squirrel then the squirrel is round.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
The rabbit likes the tiger.
True
1
proof
[(triple4)]
("rabbit" "likes" "tiger" "+")
triple4
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple10)]
("tiger" "needs" "bald eagle" "-")
triple10
The squirrel visits the bald eagle.
True
2
proof
[(((triple1) -> rule6))]
("squirrel" "visits" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel does not visit the bald eagle.
False
2
inv-proof
[(((triple1) -> rule6))]
("squirrel" "visits" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The bald eagle visits the squirrel.
True
3
proof
[(((((triple1) -> rule6)) -> rule4))]
("bald eagle" "visits" "squirrel" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the squirrel.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4))]
("bald eagle" "visits" "squirrel" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is round.
True
4
proof
[(((((((triple1) -> rule6)) -> rule4)) -> rule8))]
("squirrel" "is" "round" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel is not round.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule4)) -> rule8))]
("squirrel" "is" "round" "-")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The tiger does not need the tiger.
Unknown
inv-rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "tiger" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The rabbit does not like the squirrel.
Unknown
inv-rconc
[@1: The rabbit likes the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "likes" "squirrel" "-")
The bald eagle likes the squirrel.
Unknown
rconc
[@2: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bald eagle" "likes" "squirrel" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The bald eagle does not visit the tiger.
Unknown
inv-random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "-")
The rabbit visits the squirrel.
Unknown
random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The rabbit is round.[(triple2)] The rabbit likes the bald eagle.[(triple3)] The rabbit likes the tiger.[(triple4)] The rabbit needs the tiger.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel needs the tiger.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger likes the rabbit.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The squirrel likes the squirrel.[(((triple8) -> rule2))] The squirrel visits the bald eagle.[(((triple1) -> rule6))] @2: The bald eagle visits the squirrel.[(((((triple1) -> rule6)) -> rule4))] @3: The squirrel is round.[(((((((triple1) -> rule6)) -> rule4)) -> rule8))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The rabbit is round.
("rabbit" "is" "round" "+")
triple2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple5
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple8
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple8) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3