Fiona is not big. Fiona is cold. Fiona is not green. Fiona is not kind. Fiona is nice. Fiona is round. Fiona is smart. If someone is big and kind then they are nice.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is big and kind then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "-")
triple2
@0: Fiona is cold.[(triple2)] Fiona is nice.[(triple5)] Fiona is not big.[(triple1)] Fiona is not green.[(triple3)] Fiona is not kind.[(triple4)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7