The bald eagle chases the rabbit. The bald eagle is nice. The bald eagle likes the lion. The bald eagle needs the lion. The lion chases the bald eagle. The lion chases the rabbit. The lion is green. The lion is round. The lion needs the bald eagle. The lion needs the rabbit. The rabbit chases the bald eagle. The rabbit is green. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit needs the bald eagle. If something is green then it is round. If something is round then it needs the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is round then it needs the rabbit.
((("something" "is" "round" "+")) -> ("something" "needs" "rabbit" "+"))
The lion is green.
True
1
proof
[(triple7)]
("lion" "is" "green" "+")
triple7
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple13)]
("rabbit" "likes" "bald eagle" "-")
triple13
The rabbit is round.
True
2
proof
[(((triple12) -> rule1))]
("rabbit" "is" "round" "+")
((triple12) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
2
inv-proof
[(((triple12) -> rule1))]
("rabbit" "is" "round" "-")
((triple12) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the rabbit.
True
3
proof
[(((((triple12) -> rule1)) -> rule2))]
("rabbit" "needs" "rabbit" "+")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit does not need the rabbit.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule2))]
("rabbit" "needs" "rabbit" "-")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@2: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The lion does not like the rabbit.
Unknown
inv-random
[@0: The lion likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "rabbit" "-")
The bald eagle likes the rabbit.
Unknown
random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is green.[(triple7)] The lion is round.[(triple8 OR ((triple7) -> rule1))] The lion needs the bald eagle.[(triple9)] The lion needs the rabbit.[(triple10 OR ((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] The rabbit chases the bald eagle.[(triple11)] The rabbit is green.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The rabbit is round.[(((triple12) -> rule1))] @2: The rabbit needs the rabbit.[(((((triple12) -> rule1)) -> rule2))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
((triple7) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple10
((triple8) -> (rule2 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple14
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
((triple12) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2