The mouse is kind. The mouse is not red. The mouse is rough. The mouse is round. The mouse is young. If the mouse is red and the mouse is not round then the mouse is kind. If the mouse is rough then the mouse is kind. Kind things are young. If something is red and rough then it is not young. If something is round then it is young. All round, red things are young.
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
If the mouse is red and the mouse is not round then the mouse is kind.
((("mouse" "is" "red" "+") ("mouse" "is" "round" "~")) -> ("mouse" "is" "kind" "+"))
If the mouse is rough then the mouse is kind.
((("mouse" "is" "rough" "+")) -> ("mouse" "is" "kind" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is red and rough then it is not young.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "-"))
If something is round then it is young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
All round, red things are young.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
The mouse is not red.
True
1
proof
[(triple2)]
("mouse" "is" "red" "-")
triple2
The mouse is not kind.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule2))]
("mouse" "is" "kind" "-")
triple1
((triple3) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
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 kind.[(triple1 OR ((triple3) -> rule2))] The mouse is not red.[(triple2)] The mouse is rough.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1) -> rule3) OR ((triple4) -> rule5) OR ((((triple3) -> rule2)) -> rule3))]
The mouse is kind.
("mouse" "is" "kind" "+")
triple1
((triple3) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not red.
("mouse" "is" "red" "-")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
triple4
The mouse is young.
("mouse" "is" "young" "+")
triple5
((triple1) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((triple4) -> (rule5 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2