The bald eagle visits the mouse. The cat does not chase the mouse. The cat is not blue. The cat is nice. The cat is young. The cat needs the bald eagle. The mouse chases the bald eagle. The mouse chases the cat. The mouse is green. The mouse needs the bald eagle. If someone needs the cat then the cat visits the bald eagle. If someone is green and cold then they do not chase the mouse. If the mouse visits the cat then the cat is not young.
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is not blue.
("cat" "is" "blue" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone needs the cat then the cat visits the bald eagle.
((("someone" "needs" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If someone is green and cold then they do not chase the mouse.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "chases" "mouse" "-"))
If the mouse visits the cat then the cat is not young.
((("mouse" "visits" "cat" "+")) -> ("cat" "is" "young" "-"))
The cat is young.
True
1
proof
[(triple5)]
("cat" "is" "young" "+")
triple5
The mouse is not green.
False
1
inv-proof
[(triple9)]
("mouse" "is" "green" "-")
triple9
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle visits the mouse.[(triple1)] The cat does not chase the mouse.[(triple2)] The cat is nice.[(triple4)] The cat is not blue.[(triple3)] The cat is young.[(triple5)] The cat needs the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse chases the cat.[(triple8)] The mouse is green.[(triple9)] The mouse needs the bald eagle.[(triple10)]
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple1
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is not blue.
("cat" "is" "blue" "-")
triple3
The cat is young.
("cat" "is" "young" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple10