Anne is red. Anne is not young. Charlie is not furry. Charlie is quiet. Dave is young. Erin is quiet. Erin is rough. All kind things are rough. If something is rough then it is not young. If something is big then it is not red.
Anne is red.
("Anne" "is" "red" "+")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
All kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is not young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "-"))
If something is big then it is not red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
Erin is rough.
True
1
proof
[(triple7)]
("Erin" "is" "rough" "+")
triple7
Charlie is not quiet.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "quiet" "-")
triple4
Erin is not young.
True
2
proof
[(((triple7) -> rule2))]
("Erin" "is" "young" "-")
((triple7) -> (rule2 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is young.
False
2
inv-proof
[(((triple7) -> rule2))]
("Erin" "is" "young" "+")
((triple7) -> (rule2 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is not young.[(triple2)] Anne is red.[(triple1)] Charlie is not furry.[(triple3)] Charlie is quiet.[(triple4)] Dave is young.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] @1: Erin is not young.[(((triple7) -> rule2))]
Anne is not young.
("Anne" "is" "young" "-")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is not young.
("Erin" "is" "young" "-")
((triple7) -> (rule2 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1