The mouse is blue. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is round. If something is nice and blue then it is rough.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
If something is nice and blue then it is rough.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
The mouse is rough.
True
1
proof
[(triple4 OR ((triple3 triple1) -> rule1))]
("mouse" "is" "rough" "+")
triple4
((triple3 triple1) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not round.
False
1
inv-proof
[(triple5)]
("mouse" "is" "round" "-")
triple5
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse is rough.[(triple4 OR ((triple3 triple1) -> rule1))] The mouse is round.[(triple5)]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse is rough.
("mouse" "is" "rough" "+")
triple4
((triple3 triple1) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
triple5