Fiona is kind. Fiona is quiet. Fiona is round. Gary is blue. Gary is green. Gary is quiet. Gary is round. If something is kind and not cold then it is not smart. If something is green and not smart then it is not quiet.
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is kind and not cold then it is not smart.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "is" "smart" "-"))
If something is green and not smart then it is not quiet.
((("something" "is" "green" "+") ("something" "is" "smart" "~")) -> ("something" "is" "quiet" "-"))
Gary is quiet.
True
1
proof
[(triple6)]
("Gary" "is" "quiet" "+")
triple6
Fiona is not kind.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "kind" "-")
triple1
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Fiona is kind.[(triple1)] Fiona is quiet.[(triple2)] Fiona is round.[(triple3)] Gary is blue.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7