The bald eagle does not visit the squirrel. The lion is cold. The squirrel chases the tiger. The squirrel needs the bald eagle. The squirrel needs the tiger. The squirrel visits the tiger. The tiger visits the squirrel. If someone visits the squirrel then they are nice. If someone visits the tiger then they are nice. If someone chases the lion then they are not rough. If someone is blue and they do not chase the bald eagle then the bald eagle chases the lion. If the bald eagle chases the squirrel and the bald eagle chases the lion then the lion needs the tiger. If someone is nice then they need the tiger. If someone needs the bald eagle and they are not rough then the bald eagle is nice. If someone is nice and they do not need the lion then the lion is not cold.
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone visits the squirrel then they are nice.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the tiger then they are nice.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the lion then they are not rough.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "rough" "-"))
If someone is blue and they do not chase the bald eagle then the bald eagle chases the lion.
((("someone" "is" "blue" "+") ("someone" "chases" "bald eagle" "~")) -> ("bald eagle" "chases" "lion" "+"))
If the bald eagle chases the squirrel and the bald eagle chases the lion then the lion needs the tiger.
((("bald eagle" "chases" "squirrel" "+") ("bald eagle" "chases" "lion" "+")) -> ("lion" "needs" "tiger" "+"))
If someone is nice then they need the tiger.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "tiger" "+"))
If someone needs the bald eagle and they are not rough then the bald eagle is nice.
((("someone" "needs" "bald eagle" "+") ("someone" "is" "rough" "~")) -> ("bald eagle" "is" "nice" "+"))
If someone is nice and they do not need the lion then the lion is not cold.
((("someone" "is" "nice" "+") ("someone" "needs" "lion" "~")) -> ("lion" "is" "cold" "-"))
The squirrel needs the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "needs" "bald eagle" "+")
triple4
The squirrel does not visit the tiger.
False
1
inv-proof
[(triple6)]
("squirrel" "visits" "tiger" "-")
triple6
The squirrel is nice.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "is" "nice" "+")
((triple6) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("tiger" "is" "nice" "-")
((triple7) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger needs the tiger.
True
3
proof
[(((((triple7) -> rule1)) -> rule6))]
("tiger" "needs" "tiger" "+")
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger does not need the tiger.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule6))]
("tiger" "needs" "tiger" "-")
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The bald eagle does not need the tiger.
Unknown
inv-rconc
[@2: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("bald eagle" "needs" "tiger" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "nice" "+")
The bald eagle does not chase the lion.
Unknown
inv-rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "lion" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
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 tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The bald eagle does not visit the squirrel.[(triple1)] The lion is cold.[(triple2)] The squirrel chases the tiger.[(triple3)] The squirrel needs the bald eagle.[(triple4)] The squirrel needs the tiger.[(triple5 OR ((((triple6) -> rule2)) -> rule6))] The squirrel visits the tiger.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The squirrel is nice.[(((triple6) -> rule2))] The tiger is nice.[(((triple7) -> rule1))] @2: The tiger needs the tiger.[(((((triple7) -> rule1)) -> rule6))]
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple4
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple5
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple6) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple7) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple7) -> (rule1 % int2))) -> (rule6 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2