The bald eagle is not green. The bald eagle is nice. The bald eagle needs the bear. The bald eagle visits the bear. The bear chases the lion. The bear is green. The bear needs the lion. The lion needs the bald eagle. The lion visits the bald eagle. The rabbit is not green. The rabbit needs the bear. The rabbit visits the lion. If someone needs the bear and the bear needs the lion then the bear visits the rabbit. All blue people are rough. If the bear needs the lion and the bear visits the rabbit then the lion is blue. If someone chases the bald eagle and the bald eagle is green then they are green. If the rabbit visits the lion and the rabbit needs the bear then the rabbit is not round. If someone visits the bear then they do not chase the rabbit. If the rabbit is not green then the rabbit visits the bear. If someone visits the rabbit and the rabbit is green then the rabbit does not visit the bear.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone needs the bear and the bear needs the lion then the bear visits the rabbit.
((("someone" "needs" "bear" "+") ("bear" "needs" "lion" "+")) -> ("bear" "visits" "rabbit" "+"))
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the bear needs the lion and the bear visits the rabbit then the lion is blue.
((("bear" "needs" "lion" "+") ("bear" "visits" "rabbit" "+")) -> ("lion" "is" "blue" "+"))
If someone chases the bald eagle and the bald eagle is green then they are green.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "green" "+")) -> ("someone" "is" "green" "+"))
If the rabbit visits the lion and the rabbit needs the bear then the rabbit is not round.
((("rabbit" "visits" "lion" "+") ("rabbit" "needs" "bear" "+")) -> ("rabbit" "is" "round" "-"))
If someone visits the bear then they do not chase the rabbit.
((("someone" "visits" "bear" "+")) -> ("someone" "chases" "rabbit" "-"))
If the rabbit is not green then the rabbit visits the bear.
((("rabbit" "is" "green" "~")) -> ("rabbit" "visits" "bear" "+"))
If someone visits the rabbit and the rabbit is green then the rabbit does not visit the bear.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "visits" "bear" "-"))
The rabbit visits the lion.
True
1
proof
[(triple12)]
("rabbit" "visits" "lion" "+")
triple12
The bald eagle is green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "+")
triple1
The bald eagle does not chase the rabbit.
True
2
proof
[(((triple4) -> rule6))]
("bald eagle" "chases" "rabbit" "-")
((triple4) -> (rule6 % int1))
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
int1
The bald eagle chases the rabbit.
False
2
inv-proof
[(((triple4) -> rule6))]
("bald eagle" "chases" "rabbit" "+")
((triple4) -> (rule6 % int1))
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
int1
The rabbit does not chase the rabbit.
True
3
proof
[(((((triple10) -> rule7)) -> rule6))]
("rabbit" "chases" "rabbit" "-")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The rabbit chases the rabbit.
False
3
inv-proof
[(((((triple10) -> rule7)) -> rule6))]
("rabbit" "chases" "rabbit" "+")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The lion is rough.
True
6
proof
[(((((triple7 ((triple11 triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple7 ((triple3 triple7) -> rule1)) -> rule3)) -> rule2))]
("lion" "is" "rough" "+")
((((triple7 ((triple11 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
((((triple7 ((triple3 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The lion is not rough.
False
6
inv-proof
[(((((triple7 ((triple11 triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple7 ((triple3 triple7) -> rule1)) -> rule3)) -> rule2))]
("lion" "is" "rough" "-")
((((triple7 ((triple11 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
((((triple7 ((triple3 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
The rabbit is not rough.
Unknown
inv-rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "rough" "-")
The lion is green.
Unknown
rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "green" "+")
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "rough" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The bear needs the rabbit.
Unknown
random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "+")
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 needs the rabbit.
Unknown
random
[@0: The lion needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "rabbit" "+")
@0: The bald eagle is nice.[(triple2)] The bald eagle is not green.[(triple1)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the lion.[(triple5)] The bear is green.[(triple6)] The bear needs the lion.[(triple7)] The lion needs the bald eagle.[(triple8)] The lion visits the bald eagle.[(triple9)] The rabbit is not green.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The bald eagle does not chase the rabbit.[(((triple4) -> rule6))] The bear visits the rabbit.[(((triple11 triple7) -> rule1) OR ((triple3 triple7) -> rule1))] The rabbit is not round.[(((triple12 triple11) -> rule5))] The rabbit visits the bear.[(((triple10) -> rule7))] @2: The lion is blue.[(((triple7 ((triple11 triple7) -> rule1)) -> rule3) OR ((triple7 ((triple3 triple7) -> rule1)) -> rule3))] The rabbit does not chase the rabbit.[(((((triple10) -> rule7)) -> rule6))] @3: The lion is rough.[(((((triple7 ((triple11 triple7) -> rule1)) -> rule3)) -> rule2) OR ((((triple7 ((triple3 triple7) -> rule1)) -> rule3)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear chases the lion.
("bear" "chases" "lion" "+")
triple5
The bear is green.
("bear" "is" "green" "+")
triple6
The bear needs the lion.
("bear" "needs" "lion" "+")
triple7
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple8
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple9
The rabbit is not green.
("rabbit" "is" "green" "-")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
((triple4) -> (rule6 % int1))
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple11 triple7) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
((triple3 triple7) -> (rule1 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit is not round.
("rabbit" "is" "round" "-")
((triple12 triple11) -> (rule5 % int1))
The rabbit is not round.
("rabbit" "is" "round" "-")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple10) -> (rule7 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple7 ((triple11 triple7) -> (rule1 % int2))) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
((triple7 ((triple3 triple7) -> (rule1 % int2))) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The lion is rough.
("lion" "is" "rough" "+")
((((triple7 ((triple11 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3
((((triple7 ((triple3 triple7) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
int2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int3