The bald eagle is nice. The lion chases the bald eagle. The squirrel chases the lion. The tiger needs the lion. If something chases the squirrel then the squirrel is round. All young things are round. If something visits the lion and the lion chases the bald eagle then the lion is nice. If something needs the lion and the lion needs the tiger then it is young. If something needs the lion then it visits the lion. If something chases the tiger then the tiger visits the squirrel.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If something chases the squirrel then the squirrel is round.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
All young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something visits the lion and the lion chases the bald eagle then the lion is nice.
((("something" "visits" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("lion" "is" "nice" "+"))
If something needs the lion and the lion needs the tiger then it is young.
((("something" "needs" "lion" "+") ("lion" "needs" "tiger" "+")) -> ("something" "is" "young" "+"))
If something needs the lion then it visits the lion.
((("something" "needs" "lion" "+")) -> ("something" "visits" "lion" "+"))
If something chases the tiger then the tiger visits the squirrel.
((("something" "chases" "tiger" "+")) -> ("tiger" "visits" "squirrel" "+"))
The bald eagle is nice.
True
1
proof
[(triple1)]
("bald eagle" "is" "nice" "+")
triple1
The bald eagle is not nice.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "nice" "-")
triple1
The tiger visits the lion.
True
2
proof
[(((triple4) -> rule5))]
("tiger" "visits" "lion" "+")
((triple4) -> (rule5 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The tiger does not visit the lion.
False
2
inv-proof
[(((triple4) -> rule5))]
("tiger" "visits" "lion" "-")
((triple4) -> (rule5 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The lion is nice.
True
4
proof
[(((((triple4) -> rule5) triple2) -> rule3))]
("lion" "is" "nice" "+")
((((triple4) -> (rule5 % int2)) triple2) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int2
The lion is not nice.
False
4
inv-proof
[(((((triple4) -> rule5) triple2) -> rule3))]
("lion" "is" "nice" "-")
((((triple4) -> (rule5 % int2)) triple2) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int2
The bald eagle does not visit the lion.
Unknown
inv-rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "visits" "lion" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "young" "+")
The lion is not round.
Unknown
inv-rconc
[@2: The lion is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("lion" "is" "round" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not need the squirrel.
Unknown
inv-random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The bald eagle is nice.[(triple1)] The lion chases the bald eagle.[(triple2)] The squirrel chases the lion.[(triple3)] The tiger needs the lion.[(triple4)] @1: The tiger visits the lion.[(((triple4) -> rule5))] @2: The lion is nice.[(((((triple4) -> rule5) triple2) -> rule3))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple3
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple4
The tiger visits the lion.
("tiger" "visits" "lion" "+")
((triple4) -> (rule5 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((((triple4) -> (rule5 % int2)) triple2) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int2