Anne is big. Anne is nice. Anne is young. Charlie is big. Charlie is not kind. Charlie is nice. Charlie is white. All young people are not quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is white.
("Charlie" "is" "white" "+")
All young people are not quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Charlie is not nice.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "nice" "-")
triple6
Anne is not quiet.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "quiet" "-")
((triple3) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is quiet.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is nice.[(triple6)] Charlie is not kind.[(triple5)] Charlie is white.[(triple7)] @1: Anne is not quiet.[(((triple3) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple3) -> (rule1 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1