Anne is round. Anne is not white. Charlie is big. Charlie is not quiet. Charlie is round. Charlie is white. Charlie is young. Fiona is not round. Fiona is not white. Gary is red. If something is white and not round then it is not red. Red things are not green.
Anne is round.
("Anne" "is" "round" "+")
Anne is not white.
("Anne" "is" "white" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is red.
("Gary" "is" "red" "+")
If something is white and not round then it is not red.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "red" "-"))
Red things are not green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "-"))
Fiona is not white.
True
1
proof
[(triple9)]
("Fiona" "is" "white" "-")
triple9
Charlie is not white.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "white" "-")
triple6
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is not white.[(triple2)] Anne is round.[(triple1)] Charlie is big.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is not round.[(triple8)] Fiona is not white.[(triple9)] Gary is red.[(triple10)] @1: Gary is not green.[(((triple10) -> rule2))]
Anne is not white.
("Anne" "is" "white" "-")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is not green.
("Gary" "is" "green" "-")
((triple10) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1