The bald eagle chases the squirrel. The bald eagle is red. The bald eagle likes the lion. The bald eagle likes the rabbit. The bald eagle likes the squirrel. The bald eagle sees the lion. The bald eagle sees the rabbit. The lion likes the squirrel. The lion sees the rabbit. The rabbit is nice. The squirrel is nice. The squirrel is young. The squirrel likes the bald eagle. The squirrel likes the rabbit. The squirrel sees the lion. If someone likes the squirrel then they are rough.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone likes the squirrel then they are rough.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
The bald eagle likes the squirrel.
True
1
proof
[(triple5)]
("bald eagle" "likes" "squirrel" "+")
triple5
The squirrel does not see the lion.
False
1
inv-proof
[(triple15)]
("squirrel" "sees" "lion" "-")
triple15
The lion is rough.
True
2
proof
[(((triple8) -> rule1))]
("lion" "is" "rough" "+")
((triple8) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "is" "rough" "-")
((triple5) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "rough" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The bald eagle sees the lion.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The lion likes the squirrel.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit is nice.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The bald eagle is rough.[(((triple5) -> rule1))] The lion is rough.[(((triple8) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple7
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple8
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple15
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple5) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple8) -> (rule1 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1