The bald eagle does not like the mouse. The cat is green. The mouse is kind. The tiger eats the cat. If something eats the bald eagle then the bald eagle needs the cat. Round things are nice.
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The cat is green.
("cat" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If something eats the bald eagle then the bald eagle needs the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
The cat is green.
True
1
proof
[(triple2)]
("cat" "is" "green" "+")
triple2
The tiger does not eat the cat.
False
1
inv-proof
[(triple4)]
("tiger" "eats" "cat" "-")
triple4
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "nice" "-")
The tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
@0: The bald eagle does not like the mouse.[(triple1)] The cat is green.[(triple2)] The mouse is kind.[(triple3)] The tiger eats the cat.[(triple4)]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple4