The bald eagle sees the lion. The lion chases the squirrel. The rabbit needs the lion. The squirrel needs the lion. If something is big then it chases the lion. If something needs the bald eagle then it is kind. If something chases the squirrel then the squirrel needs the bald eagle. If the bald eagle sees the squirrel then the squirrel is big. If something chases the rabbit then the rabbit is nice. If something needs the rabbit and it is young then the rabbit needs the squirrel.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something is big then it chases the lion.
((("something" "is" "big" "+")) -> ("something" "chases" "lion" "+"))
If something needs the bald eagle then it is kind.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If something chases the squirrel then the squirrel needs the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If the bald eagle sees the squirrel then the squirrel is big.
((("bald eagle" "sees" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If something chases the rabbit then the rabbit is nice.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If something needs the rabbit and it is young then the rabbit needs the squirrel.
((("something" "needs" "rabbit" "+") ("something" "is" "young" "+")) -> ("rabbit" "needs" "squirrel" "+"))
The lion chases the squirrel.
True
1
proof
[(triple2)]
("lion" "chases" "squirrel" "+")
triple2
The squirrel does not need the lion.
False
1
inv-proof
[(triple4)]
("squirrel" "needs" "lion" "-")
triple4
The squirrel needs the bald eagle.
True
2
proof
[(((triple2) -> rule3))]
("squirrel" "needs" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel does not need the bald eagle.
False
2
inv-proof
[(((triple2) -> rule3))]
("squirrel" "needs" "bald eagle" "-")
((triple2) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is kind.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("squirrel" "is" "kind" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is not kind.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("squirrel" "is" "kind" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The lion is kind.
Unknown
rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "kind" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle sees the lion.[(triple1)] The lion chases the squirrel.[(triple2)] The rabbit needs the lion.[(triple3)] The squirrel needs the lion.[(triple4)] @1: The squirrel needs the bald eagle.[(((triple2) -> rule3))] @2: The squirrel is kind.[(((((triple2) -> rule3)) -> rule2))]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple2
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple3
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple4
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2