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