Fiona is big. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is round. Fiona is not smart. Fiona is young. All kind people are not big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
All kind people are not big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "-"))
Fiona is young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "+")
triple7
Fiona is kind.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "kind" "+")
triple4
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not smart.[(triple6)] Fiona is round.[(triple5)] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple7