The mouse is big. If the mouse is kind then the mouse is big. If someone is red then they are big. If someone is red then they are nice. If the mouse is nice then the mouse is young. If someone is kind then they are big. If someone is red and young then they are kind. If someone is nice then they are young. Kind, big people are red.
The mouse is big.
("mouse" "is" "big" "+")
If the mouse is kind then the mouse is big.
((("mouse" "is" "kind" "+")) -> ("mouse" "is" "big" "+"))
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If the mouse is nice then the mouse is young.
((("mouse" "is" "nice" "+")) -> ("mouse" "is" "young" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Kind, big people are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
The mouse is big.
True
1
proof
[(triple1)]
("mouse" "is" "big" "+")
triple1
The mouse is not big.
False
1
inv-proof
[(triple1)]
("mouse" "is" "big" "-")
triple1
The mouse is not young.
Unknown
inv-rconc
[@4: The mouse is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule8 <- rule6 <- FAIL)]]
("mouse" "is" "young" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse is big.[(triple1)]
The mouse is big.
("mouse" "is" "big" "+")
triple1