Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is young. If someone is furry and not blue then they are kind.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is furry and not blue then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7