The mouse is big. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is round. Round, big people are nice. All kind people are big.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
Round, big people are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
The mouse is kind.
True
1
proof
[(triple3)]
("mouse" "is" "kind" "+")
triple3
The mouse is not blue.
False
1
inv-proof
[(triple2)]
("mouse" "is" "blue" "-")
triple2
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse is big.[(triple1 OR ((triple3) -> rule2))] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple3) -> rule2)) -> rule1))] The mouse is round.[(triple5)]
The mouse is big.
("mouse" "is" "big" "+")
triple1
((triple3) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
((triple5 triple1) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
((triple5 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse is round.
("mouse" "is" "round" "+")
triple5