The bald eagle is nice. The lion needs the bald eagle. The squirrel is round. The tiger visits the squirrel. If someone needs the lion and they do not see the lion then the lion visits the bald eagle. If someone visits the bald eagle then the bald eagle is round. If someone visits the bald eagle then they need the bald eagle. If someone visits the bald eagle and they see the tiger then the bald eagle is nice. If someone is round then they need the tiger. All round, red people are blue. If the lion does not need the tiger then the tiger is blue. If someone is red and not blue then they need the squirrel.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone needs the lion and they do not see the lion then the lion visits the bald eagle.
((("someone" "needs" "lion" "+") ("someone" "sees" "lion" "~")) -> ("lion" "visits" "bald eagle" "+"))
If someone visits the bald eagle then the bald eagle is round.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If someone visits the bald eagle then they need the bald eagle.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle and they see the tiger then the bald eagle is nice.
((("someone" "visits" "bald eagle" "+") ("someone" "sees" "tiger" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone is round then they need the tiger.
((("someone" "is" "round" "+")) -> ("someone" "needs" "tiger" "+"))
All round, red people are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If the lion does not need the tiger then the tiger is blue.
((("lion" "needs" "tiger" "~")) -> ("tiger" "is" "blue" "+"))
If someone is red and not blue then they need the squirrel.
((("someone" "is" "red" "+") ("someone" "is" "blue" "~")) -> ("someone" "needs" "squirrel" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The tiger does not visit the squirrel.
False
1
inv-proof
[(triple4)]
("tiger" "visits" "squirrel" "-")
triple4
The squirrel needs the tiger.
True
2
proof
[(((triple3) -> rule5))]
("squirrel" "needs" "tiger" "+")
((triple3) -> (rule5 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The squirrel does not need the tiger.
False
2
inv-proof
[(((triple3) -> rule5))]
("squirrel" "needs" "tiger" "-")
((triple3) -> (rule5 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The bald eagle is not round.
Unknown
inv-rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "is" "round" "-")
The lion needs the tiger.
Unknown
rconc
[@1: The lion needs the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "tiger" "+")
The tiger does not see the squirrel.
Unknown
inv-random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "-")
The lion visits the tiger.
Unknown
random
[@0: The lion visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "tiger" "+")
@0: The bald eagle is nice.[(triple1)] The lion needs the bald eagle.[(triple2)] The squirrel is round.[(triple3)] The tiger visits the squirrel.[(triple4)] @1: The squirrel needs the tiger.[(((triple3) -> rule5))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple3
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple4
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
((triple3) -> (rule5 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1