The bald eagle is nice. The dog needs the bald eagle. The lion likes the dog. The tiger is rough. If something visits the lion then it likes the tiger.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something visits the lion then it likes the tiger.
((("something" "visits" "lion" "+")) -> ("something" "likes" "tiger" "+"))
The tiger is rough.
True
1
proof
[(triple4)]
("tiger" "is" "rough" "+")
triple4
The tiger is not rough.
False
1
inv-proof
[(triple4)]
("tiger" "is" "rough" "-")
triple4
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The dog likes the bald eagle.
Unknown
random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The dog needs the bald eagle.[(triple2)] The lion likes the dog.[(triple3)] The tiger is rough.[(triple4)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple2
The lion likes the dog.
("lion" "likes" "dog" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4