Anne is not blue. Anne is green. Anne is nice. Anne is not quiet. Anne is round. Anne is young. Charlie is not blue. Charlie is green. Charlie is nice. Charlie is young. Erin is quiet. Erin is white. Nice things are white.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Erin is quiet.
True
1
proof
[(triple11)]
("Erin" "is" "quiet" "+")
triple11
Charlie is not young.
False
1
inv-proof
[(triple10)]
("Charlie" "is" "young" "-")
triple10
Anne is white.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple9) -> rule1))]
("Charlie" "is" "white" "-")
((triple9) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not blue.[(triple1)] Anne is not quiet.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Charlie is green.[(triple8)] Charlie is nice.[(triple9)] Charlie is not blue.[(triple7)] Charlie is young.[(triple10)] Erin is quiet.[(triple11)] Erin is white.[(triple12)] @1: Anne is white.[(((triple3) -> rule1))] Charlie is white.[(((triple9) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple9) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1