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