The bald eagle chases the squirrel. The bald eagle likes the lion. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The lion chases the bald eagle. The lion is nice. The lion is red. The squirrel chases the lion. The squirrel is kind. The squirrel needs the bald eagle. If something chases the lion and the lion is cold then it is rough. If something needs the bald eagle and it does not chase the lion then it is rough. If something is red then it needs the squirrel. If something needs the lion and the lion likes the bald eagle then the lion likes the squirrel. If something chases the lion then the lion is rough. All kind things are red.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something chases the lion and the lion is cold then it is rough.
((("something" "chases" "lion" "+") ("lion" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something needs the bald eagle and it does not chase the lion then it is rough.
((("something" "needs" "bald eagle" "+") ("something" "chases" "lion" "~")) -> ("something" "is" "rough" "+"))
If something is red then it needs the squirrel.
((("something" "is" "red" "+")) -> ("something" "needs" "squirrel" "+"))
If something needs the lion and the lion likes the bald eagle then the lion likes the squirrel.
((("something" "needs" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "likes" "squirrel" "+"))
If something chases the lion then the lion is rough.
((("something" "chases" "lion" "+")) -> ("lion" "is" "rough" "+"))
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple2)]
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "squirrel" "-")
triple4
The lion is rough.
True
2
proof
[(((triple8) -> rule5))]
("lion" "is" "rough" "+")
((triple8) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
2
inv-proof
[(((triple8) -> rule5))]
("lion" "is" "rough" "-")
((triple8) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The squirrel needs the squirrel.
True
3
proof
[(((((triple9) -> rule6)) -> rule3))]
("squirrel" "needs" "squirrel" "+")
((((triple9) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel does not need the squirrel.
False
3
inv-proof
[(((((triple9) -> rule6)) -> rule3))]
("squirrel" "needs" "squirrel" "-")
((((triple9) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the bald eagle.[(triple10)] @1: The lion is rough.[(((triple8) -> rule5))] The lion needs the squirrel.[(((triple7) -> rule3))] The squirrel is red.[(((triple9) -> rule6))] @2: The squirrel needs the squirrel.[(((((triple9) -> rule6)) -> rule3))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
((triple8) -> (rule5 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
((triple7) -> (rule3 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple9) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((((triple9) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2