Anne is cold. Anne is not green. Anne is kind. Anne is quiet. Anne is not rough. Anne is round. Anne is smart. Erin is cold. Erin is not green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. If someone is rough and not round then they are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If someone is rough and not round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "kind" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple10)]
("Erin" "is" "kind" "-")
triple10
@0: Anne is cold.[(triple1)] Anne is kind.[(triple3)] Anne is not green.[(triple2)] Anne is not rough.[(triple5)] Anne is quiet.[(triple4)] Anne is round.[(triple6)] Anne is smart.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple10)] Erin is not green.[(triple9)] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is smart.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is smart.
("Anne" "is" "smart" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is not green.
("Erin" "is" "green" "-")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is round.
("Erin" "is" "round" "+")
triple13
Erin is smart.
("Erin" "is" "smart" "+")
triple14