The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle likes the bear. The bald eagle sees the lion. The bear is nice. The bear likes the lion. The bear visits the lion. The lion sees the tiger. The lion visits the bald eagle. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone is rough then they visit the bald eagle. If someone likes the lion then the lion likes the bear.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone is rough then they visit the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the lion then the lion likes the bear.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "bear" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not round.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "round" "-")
triple3
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle sees the tiger.
Unknown
random
[@0: The bald eagle sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "tiger" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle sees the lion.[(triple5)] The bear is nice.[(triple6)] The bear likes the lion.[(triple7)] The bear visits the lion.[(triple8)] The lion sees the tiger.[(triple9)] The lion visits the bald eagle.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The lion likes the bear.[(((triple7) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
The bear visits the lion.
("bear" "visits" "lion" "+")
triple8
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple7) -> (rule2 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1