Fiona is cold. Fiona is not furry. Fiona is green. Fiona is quiet. Fiona is not rough. Fiona is round. Fiona is white. Rough, furry things are round.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Rough, furry things are round.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Fiona is green.
True
1
proof
[(triple3)]
("Fiona" "is" "green" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple3)] Fiona is not furry.[(triple2)] Fiona is not rough.[(triple5)] Fiona is quiet.[(triple4)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple2
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7