Charlie is not green. Charlie is not quiet. Charlie is young. Green people are not white. If someone is young then they are round. All furry, young people are round.
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Green people are not white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "-"))
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All furry, young people are round.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Charlie is not quiet.
True
1
proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Charlie is quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "+")
triple2
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is not green.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is young.[(triple3)] @1: Charlie is round.[(((triple3) -> rule2))]
Charlie is not green.
("Charlie" "is" "green" "-")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1