The bald eagle likes the bear. The bear visits the bald eagle. The lion chases the mouse. The mouse is red. If something is young then it chases the mouse. If something is kind then it visits the bald eagle. All cold things are red.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
If something is young then it chases the mouse.
((("something" "is" "young" "+")) -> ("something" "chases" "mouse" "+"))
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
The bear visits the bald eagle.
True
1
proof
[(triple2)]
("bear" "visits" "bald eagle" "+")
triple2
The bald eagle does not like the bear.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "bear" "-")
triple1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "red" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear visits the bald eagle.[(triple2)] The lion chases the mouse.[(triple3)] The mouse is red.[(triple4)]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple2
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple3
The mouse is red.
("mouse" "is" "red" "+")
triple4