Fiona is green. Fiona is not kind. Fiona is not nice. Fiona is not quiet. Fiona is rough. Fiona is round. Fiona is white. If something is kind then it is quiet. Nice things are kind.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Fiona is not quiet.
True
1
proof
[(triple4)]
("Fiona" "is" "quiet" "-")
triple4
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
@0: Fiona is green.[(triple1)] Fiona is not kind.[(triple2)] Fiona is not nice.[(triple3)] Fiona is not quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple3
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7