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