Fiona is big. Fiona is blue. Fiona is furry. Fiona is not kind. Fiona is not round. Fiona is white. Fiona is young. All kind, young things are furry. Round, blue things are kind.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All kind, young things are furry.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Round, blue things are kind.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Fiona is not kind.
True
1
proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
Fiona is not furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "-")
triple3
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not round.[(triple5)] Fiona is white.[(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" "+")
triple3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is not round.
("Fiona" "is" "round" "-")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7