The mouse is big. If something is blue and round then it is kind. All kind, cold things are round. If the mouse is cold then the mouse is big. If something is kind then it is blue. Kind things are big. If something is big then it is round.
The mouse is big.
("mouse" "is" "big" "+")
If something is blue and round then it is kind.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All kind, cold things are round.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If the mouse is cold then the mouse is big.
((("mouse" "is" "cold" "+")) -> ("mouse" "is" "big" "+"))
If something is kind then it is blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is big then it is round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
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 round.
True
2
proof
[(((triple1) -> rule6))]
("mouse" "is" "round" "+")
((triple1) -> (rule6 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple1) -> rule6))]
("mouse" "is" "round" "-")
((triple1) -> (rule6 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not blue.
Unknown
inv-rconc
[@2: The mouse is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("mouse" "is" "blue" "-")
The mouse is kind.
Unknown
rconc
[@2: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("mouse" "is" "kind" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse is big.[(triple1)] @1: The mouse is round.[(((triple1) -> rule6))]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is round.
("mouse" "is" "round" "+")
((triple1) -> (rule6 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1