Erin is cold. Erin is furry. Erin is kind. Erin is not quiet. Erin is smart. Erin is white. Erin is young. Quiet things are young.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Erin is not smart.
False
1
inv-proof
[(triple5)]
("Erin" "is" "smart" "-")
triple5
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is not quiet.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7