The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle is blue. The bald eagle is rough. The bear sees the bald eagle. The lion chases the bald eagle. The lion is blue. The rabbit chases the lion. The rabbit is rough. The rabbit visits the bear. If something sees the bear and the bear chases the rabbit then it visits the rabbit. If something sees the rabbit then the rabbit is cold. If something chases the bear and it chases the bald eagle then the bear is young. If something is cold and kind then it sees the lion. If something visits the bear and it chases the lion then it sees the rabbit. If something sees the rabbit and the rabbit visits the bear then it chases the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something sees the bear and the bear chases the rabbit then it visits the rabbit.
((("something" "sees" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("something" "visits" "rabbit" "+"))
If something sees the rabbit then the rabbit is cold.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If something chases the bear and it chases the bald eagle then the bear is young.
((("something" "chases" "bear" "+") ("something" "chases" "bald eagle" "+")) -> ("bear" "is" "young" "+"))
If something is cold and kind then it sees the lion.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "sees" "lion" "+"))
If something visits the bear and it chases the lion then it sees the rabbit.
((("something" "visits" "bear" "+") ("something" "chases" "lion" "+")) -> ("something" "sees" "rabbit" "+"))
If something sees the rabbit and the rabbit visits the bear then it chases the bear.
((("something" "sees" "rabbit" "+") ("rabbit" "visits" "bear" "+")) -> ("something" "chases" "bear" "+"))
The bear sees the bald eagle.
True
1
proof
[(triple5)]
("bear" "sees" "bald eagle" "+")
triple5
The rabbit does not chase the lion.
False
1
inv-proof
[(triple8)]
("rabbit" "chases" "lion" "-")
triple8
The rabbit sees the rabbit.
True
3
proof
[(((triple10 triple8) -> rule5))]
("rabbit" "sees" "rabbit" "+")
((triple10 triple8) -> (rule5 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit does not see the rabbit.
False
3
inv-proof
[(((triple10 triple8) -> rule5))]
("rabbit" "sees" "rabbit" "-")
((triple10 triple8) -> (rule5 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
True
5
proof
[(((((triple10 triple8) -> rule5) triple10) -> rule6))]
("rabbit" "chases" "bear" "+")
((((triple10 triple8) -> (rule5 % int2)) triple10) -> (rule6 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit is not cold.
False
4
inv-proof
[(((((triple10 triple8) -> rule5)) -> rule2))]
("rabbit" "is" "cold" "-")
((((triple10 triple8) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The bear is not young.
Unknown
inv-rconc
[@3: The bear is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule5 <- FAIL)]]
("bear" "is" "young" "-")
The lion sees the lion.
Unknown
rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "sees" "lion" "+")
The lion does not see the rabbit.
Unknown
inv-rconc
[@1: The lion sees the rabbit.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "sees" "rabbit" "-")
The bald eagle sees the bear.
Unknown
random
[@0: The bald eagle sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bear" "+")
The bear does not chase the rabbit.
Unknown
inv-random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "-")
The rabbit visits the bald eagle.
Unknown
random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is rough.[(triple4)] The bear sees the bald eagle.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion is blue.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit is rough.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The rabbit sees the rabbit.[(((triple10 triple8) -> rule5))] @2: The rabbit chases the bear.[(((((triple10 triple8) -> rule5) triple10) -> rule6))] The rabbit is cold.[(((((triple10 triple8) -> rule5)) -> rule2))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple5
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple10 triple8) -> (rule5 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((triple10 triple8) -> (rule5 % int2)) triple10) -> (rule6 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((triple10 triple8) -> (rule5 % int2))) -> (rule2 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2