Erin is kind. Fiona is big. Fiona is furry. Fiona is not kind. Fiona is not white. Gary is not kind. Gary is white. Smart people are kind. If someone is red and kind then they are not white. White, kind people are not furry.
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is white.
("Gary" "is" "white" "+")
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind then they are not white.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "-"))
White, kind people are not furry.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "-"))
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
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Erin is kind.[(triple1)] Fiona is big.[(triple2)] Fiona is furry.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not white.[(triple5)] Gary is not kind.[(triple6)] Gary is white.[(triple7)]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is not white.
("Fiona" "is" "white" "-")
triple5
Gary is not kind.
("Gary" "is" "kind" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7