Erin is not blue. Erin is kind. Erin is quiet. Erin is rough. Erin is not round. Erin is not smart. Erin is not white. All blue things are not kind. If something is blue and not white then it is round. If something is blue and not kind then it is not smart.
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is not white.
("Erin" "is" "white" "-")
All blue things are not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
If something is blue and not white then it is round.
((("something" "is" "blue" "+") ("something" "is" "white" "~")) -> ("something" "is" "round" "+"))
If something is blue and not kind then it is not smart.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "smart" "-"))
Erin is not white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "-")
triple7
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
@0: Erin is kind.[(triple2)] Erin is not blue.[(triple1)] Erin is not round.[(triple5)] Erin is not smart.[(triple6)] Erin is not white.[(triple7)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)]
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Erin is not round.
("Erin" "is" "round" "-")
triple5
Erin is not smart.
("Erin" "is" "smart" "-")
triple6
Erin is not white.
("Erin" "is" "white" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4