The bald eagle is cold. The cat is big. The cat visits the bald eagle. The lion eats the bald eagle. The lion is big. The lion is green. The lion is red. The mouse is big. The mouse needs the cat. The mouse needs the lion. If something eats the bald eagle and it eats the cat then the bald eagle does not visit the mouse. If something is cold and it eats the bald eagle then the bald eagle visits the cat. If something visits the bald eagle and it is not rough then the bald eagle eats the lion. If something needs the cat then the cat visits the bald eagle. If something is green and it needs the lion then it does not visit the lion. Green things are red.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat is big.
("cat" "is" "big" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If something eats the bald eagle and it eats the cat then the bald eagle does not visit the mouse.
((("something" "eats" "bald eagle" "+") ("something" "eats" "cat" "+")) -> ("bald eagle" "visits" "mouse" "-"))
If something is cold and it eats the bald eagle then the bald eagle visits the cat.
((("something" "is" "cold" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If something visits the bald eagle and it is not rough then the bald eagle eats the lion.
((("something" "visits" "bald eagle" "+") ("something" "is" "rough" "~")) -> ("bald eagle" "eats" "lion" "+"))
If something needs the cat then the cat visits the bald eagle.
((("something" "needs" "cat" "+")) -> ("cat" "visits" "bald eagle" "+"))
If something is green and it needs the lion then it does not visit the lion.
((("something" "is" "green" "+") ("something" "needs" "lion" "+")) -> ("something" "visits" "lion" "-"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
The mouse needs the cat.
True
1
proof
[(triple9)]
("mouse" "needs" "cat" "+")
triple9
The mouse does not need the cat.
False
1
inv-proof
[(triple9)]
("mouse" "needs" "cat" "-")
triple9
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The mouse eats the lion.
Unknown
random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "+")
@0: The bald eagle is cold.[(triple1)] The cat is big.[(triple2)] The cat visits the bald eagle.[(triple3 OR ((triple9) -> rule4))] The lion eats the bald eagle.[(triple4)] The lion is big.[(triple5)] The lion is green.[(triple6)] The lion is red.[(triple7 OR ((triple6) -> rule6))] The mouse is big.[(triple8)] The mouse needs the cat.[(triple9)] The mouse needs the lion.[(triple10)]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple3
((triple9) -> (rule4 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The lion is green.
("lion" "is" "green" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
((triple6) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10