The bald eagle is young. The lion is big. The squirrel chases the lion. If someone chases the lion then they are rough. If someone needs the lion and the lion chases the squirrel then they need the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The lion is big.
("lion" "is" "big" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
If someone chases the lion then they are rough.
((("someone" "chases" "lion" "+")) -> ("someone" "is" "rough" "+"))
If someone needs the lion and the lion chases the squirrel then they need the bald eagle.
((("someone" "needs" "lion" "+") ("lion" "chases" "squirrel" "+")) -> ("someone" "needs" "bald eagle" "+"))
The squirrel chases the lion.
True
1
proof
[(triple3)]
("squirrel" "chases" "lion" "+")
triple3
The squirrel does not chase the lion.
False
1
inv-proof
[(triple3)]
("squirrel" "chases" "lion" "-")
triple3
The squirrel is rough.
True
2
proof
[(((triple3) -> rule1))]
("squirrel" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("squirrel" "is" "rough" "-")
((triple3) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The lion needs the bald eagle.
Unknown
rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "bald eagle" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel chases the bald eagle.
Unknown
random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "+")
@0: The bald eagle is young.[(triple1)] The lion is big.[(triple2)] The squirrel chases the lion.[(triple3)] @1: The squirrel is rough.[(((triple3) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple3) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1