The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is cold. The bald eagle likes the rabbit. The lion chases the bald eagle. The lion chases the rabbit. The lion is cold. The lion likes the bald eagle. The lion sees the bald eagle. The lion sees the rabbit. The rabbit chases the bald eagle. The rabbit chases the lion. The rabbit likes the lion. The rabbit sees the bald eagle. The rabbit sees the lion. If someone likes the bald eagle then they are round. If someone is round and they like the bald eagle then the bald eagle sees the lion. If someone chases the rabbit and they are round then the rabbit likes the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone likes the bald eagle then they are round.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone is round and they like the bald eagle then the bald eagle sees the lion.
((("someone" "is" "round" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If someone chases the rabbit and they are round then the rabbit likes the bald eagle.
((("someone" "chases" "rabbit" "+") ("someone" "is" "round" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The lion does not like the bald eagle.
False
1
inv-proof
[(triple8)]
("lion" "likes" "bald eagle" "-")
triple8
The lion is round.
True
2
proof
[(((triple8) -> rule1))]
("lion" "is" "round" "+")
((triple8) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple8) -> rule1))]
("lion" "is" "round" "-")
((triple8) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The rabbit likes the bald eagle.
True
4
proof
[(((triple6 ((triple8) -> rule1)) -> rule3))]
("rabbit" "likes" "bald eagle" "+")
((triple6 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The bald eagle does not see the lion.
False
4
inv-proof
[(((((triple8) -> rule1) triple8) -> rule2) OR ((((((triple6 ((triple8) -> rule1)) -> rule3)) -> rule1) ((triple6 ((triple8) -> rule1)) -> rule3)) -> rule2))]
("bald eagle" "sees" "lion" "-")
((((triple8) -> (rule1 % int2)) triple8) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((((triple6 ((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6 ((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The rabbit is round.
True
5
proof
[(((((triple6 ((triple8) -> rule1)) -> rule3)) -> rule1))]
("rabbit" "is" "round" "+")
((((triple6 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The rabbit is not round.
False
5
inv-proof
[(((((triple6 ((triple8) -> rule1)) -> rule3)) -> rule1))]
("rabbit" "is" "round" "-")
((((triple6 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
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 lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
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 lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is cold.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the rabbit.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The lion is round.[(((triple8) -> rule1))] @2: The bald eagle sees the lion.[(((((triple8) -> rule1) triple8) -> rule2) OR ((((((triple6 ((triple8) -> rule1)) -> rule3)) -> rule1) ((triple6 ((triple8) -> rule1)) -> rule3)) -> rule2))] The rabbit likes the bald eagle.[(((triple6 ((triple8) -> rule1)) -> rule3))] @3: The rabbit is round.[(((((triple6 ((triple8) -> rule1)) -> rule3)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple9
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple10
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple11
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple12
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple13
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple14
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple15
The lion is round.
("lion" "is" "round" "+")
((triple8) -> (rule1 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
((((triple8) -> (rule1 % int2)) triple8) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
((((((triple6 ((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple6 ((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple6 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
((((triple6 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3