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