Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is not white. Anne is not young. Erin is kind. Erin is nice. Erin is red. Erin is white. Erin is young. White, nice things are not blue. White things are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not white.
("Anne" "is" "white" "-")
Anne is not young.
("Anne" "is" "young" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
White, nice things are not blue.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "-"))
White things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Erin is nice.
True
1
proof
[(triple9)]
("Erin" "is" "nice" "+")
triple9
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not white.[(triple6)] Anne is not young.[(triple7)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10 OR ((triple11) -> rule2))] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Erin is not blue.[(((triple11 triple9) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not white.
("Anne" "is" "white" "-")
triple6
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
((triple11) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Erin is not blue.
("Erin" "is" "blue" "-")
((triple11 triple9) -> (rule1 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1