Erin is big. Erin is not blue. Erin is not furry. Erin is green. Erin is quiet. Erin is not red. Erin is not young. All blue, quiet people are not red. Blue, young people are not quiet.
Erin is big.
("Erin" "is" "big" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is not young.
("Erin" "is" "young" "-")
All blue, quiet people are not red.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "-"))
Blue, young people are not quiet.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
Erin is not red.
True
1
proof
[(triple6)]
("Erin" "is" "red" "-")
triple6
Erin is blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
@0: Erin is big.[(triple1)] Erin is green.[(triple4)] Erin is not blue.[(triple2)] Erin is not furry.[(triple3)] Erin is not red.[(triple6)] Erin is not young.[(triple7)] Erin is quiet.[(triple5)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is not blue.
("Erin" "is" "blue" "-")
triple2
Erin is not furry.
("Erin" "is" "furry" "-")
triple3
Erin is not red.
("Erin" "is" "red" "-")
triple6
Erin is not young.
("Erin" "is" "young" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5