The bald eagle likes the cat. The bald eagle visits the bear. The bear is blue. The bear is green. The bear is red. The bear does not like the bald eagle. The bear likes the lion. The cat chases the lion. The cat is green. The cat is nice. The cat likes the bald eagle. The lion likes the cat. If someone visits the bald eagle then the bald eagle likes the bear. If someone visits the bald eagle then the bald eagle chases the cat. If someone is nice and they chase the cat then they are round. If someone chases the lion then the lion does not visit the bear. If the lion is round and the lion visits the cat then the cat is round. If someone likes the cat then the cat visits the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear likes the lion.
("bear" "likes" "lion" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
If someone visits the bald eagle then the bald eagle likes the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
If someone visits the bald eagle then the bald eagle chases the cat.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
If someone is nice and they chase the cat then they are round.
((("someone" "is" "nice" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "round" "+"))
If someone chases the lion then the lion does not visit the bear.
((("someone" "chases" "lion" "+")) -> ("lion" "visits" "bear" "-"))
If the lion is round and the lion visits the cat then the cat is round.
((("lion" "is" "round" "+") ("lion" "visits" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone likes the cat then the cat visits the bald eagle.
((("someone" "likes" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple1)]
("bald eagle" "likes" "cat" "+")
triple1
The lion does not like the cat.
False
1
inv-proof
[(triple12)]
("lion" "likes" "cat" "-")
triple12
The cat visits the bald eagle.
True
2
proof
[(((triple1) -> rule6) OR ((triple12) -> rule6))]
("cat" "visits" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
((triple12) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The lion visits the bear.
False
2
inv-proof
[(((triple8) -> rule4))]
("lion" "visits" "bear" "+")
((triple8) -> (rule4 % int1))
The lion does not visit the bear.
("lion" "visits" "bear" "-")
int1
The bald eagle likes the bear.
True
3
proof
[(((((triple1) -> rule6)) -> rule1) OR ((((triple12) -> rule6)) -> rule1))]
("bald eagle" "likes" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle does not like the bear.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule1) OR ((((triple12) -> rule6)) -> rule1))]
("bald eagle" "likes" "bear" "-")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "round" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "round" "+")
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "round" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bear does not chase the lion.
Unknown
inv-random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear does not like the bald eagle.[(triple6)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is red.[(triple5)] The bear likes the lion.[(triple7)] The cat chases the lion.[(triple8)] The cat is green.[(triple9)] The cat is nice.[(triple10)] The cat likes the bald eagle.[(triple11)] The lion likes the cat.[(triple12)] @1: The cat visits the bald eagle.[(((triple1) -> rule6) OR ((triple12) -> rule6))] The lion does not visit the bear.[(((triple8) -> rule4))] @2: The bald eagle chases the cat.[(((((triple1) -> rule6)) -> rule2) OR ((((triple12) -> rule6)) -> rule2))] The bald eagle likes the bear.[(((((triple1) -> rule6)) -> rule1) OR ((((triple12) -> rule6)) -> rule1))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
The cat chases the lion.
("cat" "chases" "lion" "+")
triple8
The cat is green.
("cat" "is" "green" "+")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple10
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple11
The lion likes the cat.
("lion" "likes" "cat" "+")
triple12
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple1) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
((triple12) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The lion does not visit the bear.
("lion" "visits" "bear" "-")
((triple8) -> (rule4 % int1))
The lion does not visit the bear.
("lion" "visits" "bear" "-")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((((triple1) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2