The bald eagle is round. The dog is kind. The lion visits the bald eagle. The mouse chases the lion. If something chases the lion then it visits the mouse. If something chases the bald eagle and the bald eagle visits the dog then the bald eagle is kind. If something eats the bald eagle and the bald eagle eats the dog then the dog chases the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The dog is kind.
("dog" "is" "kind" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
If something chases the lion then it visits the mouse.
((("something" "chases" "lion" "+")) -> ("something" "visits" "mouse" "+"))
If something chases the bald eagle and the bald eagle visits the dog then the bald eagle is kind.
((("something" "chases" "bald eagle" "+") ("bald eagle" "visits" "dog" "+")) -> ("bald eagle" "is" "kind" "+"))
If something eats the bald eagle and the bald eagle eats the dog then the dog chases the bald eagle.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "dog" "+")) -> ("dog" "chases" "bald eagle" "+"))
The dog is kind.
True
1
proof
[(triple2)]
("dog" "is" "kind" "+")
triple2
The lion does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("lion" "visits" "bald eagle" "-")
triple3
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
@0: The bald eagle is round.[(triple1)] The dog is kind.[(triple2)] The lion visits the bald eagle.[(triple3)] The mouse chases the lion.[(triple4)] @1: The mouse visits the mouse.[(((triple4) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple3
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple4) -> (rule1 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1