The mouse is not nice. Round people are young. If someone is round and not nice then they are red.
The mouse is not nice.
("mouse" "is" "nice" "-")
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and not nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "red" "+"))
The mouse is not nice.
True
1
proof
[(triple1)]
("mouse" "is" "nice" "-")
triple1
The mouse is nice.
False
1
inv-proof
[(triple1)]
("mouse" "is" "nice" "+")
triple1
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "red" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
@0: The mouse is not nice.[(triple1)]
The mouse is not nice.
("mouse" "is" "nice" "-")
triple1