The bald eagle is kind. The bald eagle visits the lion. The dog eats the lion. The dog is not kind. The dog sees the bald eagle. The lion eats the dog. The lion is red. If the dog does not visit the bald eagle then the bald eagle is nice. If the lion visits the dog and the dog is not red then the dog sees the bald eagle. If the dog sees the lion and the dog does not visit the bald eagle then the lion sees the bald eagle.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is red.
("lion" "is" "red" "+")
If the dog does not visit the bald eagle then the bald eagle is nice.
((("dog" "visits" "bald eagle" "~")) -> ("bald eagle" "is" "nice" "+"))
If the lion visits the dog and the dog is not red then the dog sees the bald eagle.
((("lion" "visits" "dog" "+") ("dog" "is" "red" "~")) -> ("dog" "sees" "bald eagle" "+"))
If the dog sees the lion and the dog does not visit the bald eagle then the lion sees the bald eagle.
((("dog" "sees" "lion" "+") ("dog" "visits" "bald eagle" "~")) -> ("lion" "sees" "bald eagle" "+"))
The dog is not kind.
True
1
proof
[(triple4)]
("dog" "is" "kind" "-")
triple4
The dog is kind.
False
1
inv-proof
[(triple4)]
("dog" "is" "kind" "+")
triple4
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The dog visits the lion.
Unknown
random
[@0: The dog visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "lion" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle visits the lion.[(triple2)] The dog eats the lion.[(triple3)] The dog is not kind.[(triple4)] The dog sees the bald eagle.[(triple5)] The lion eats the dog.[(triple6)] The lion is red.[(triple7)]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple2
The dog eats the lion.
("dog" "eats" "lion" "+")
triple3
The dog is not kind.
("dog" "is" "kind" "-")
triple4
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple5
The lion eats the dog.
("lion" "eats" "dog" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7