Anne is green. Anne is nice. Anne is not white. Nice, young people are rough. If someone is nice then they are young. If someone is white then they are young.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not white.
("Anne" "is" "white" "-")
Nice, young people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Anne is not white.
True
1
proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "+")
triple3
Anne is young.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "young" "+")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "young" "-")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Anne" "is" "rough" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not rough.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Anne" "is" "rough" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple3)] @1: Anne is young.[(((triple2) -> rule2))] @2: Anne is rough.[(((triple2 ((triple2) -> rule2)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2