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