The bald eagle is big. The mouse is young. The squirrel chases the tiger. The tiger eats the mouse. If something chases the squirrel then it eats the squirrel. If something eats the squirrel then it is big. If something likes the mouse and the mouse chases the bald eagle then the mouse is cold.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The mouse is young.
("mouse" "is" "young" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
If something chases the squirrel then it eats the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "eats" "squirrel" "+"))
If something eats the squirrel then it is big.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "big" "+"))
If something likes the mouse and the mouse chases the bald eagle then the mouse is cold.
((("something" "likes" "mouse" "+") ("mouse" "chases" "bald eagle" "+")) -> ("mouse" "is" "cold" "+"))
The mouse is young.
True
1
proof
[(triple2)]
("mouse" "is" "young" "+")
triple2
The tiger does not eat the mouse.
False
1
inv-proof
[(triple4)]
("tiger" "eats" "mouse" "-")
triple4
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The mouse is young.[(triple2)] The squirrel chases the tiger.[(triple3)] The tiger eats the mouse.[(triple4)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The mouse is young.
("mouse" "is" "young" "+")
triple2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple4