Erin is kind. Erin is red. Erin is not smart. Fiona is kind. Fiona is not rough. Fiona is round. Gary is red. All big things are not kind.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
All big things are not kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "-"))
Erin is red.
True
1
proof
[(triple2)]
("Erin" "is" "red" "+")
triple2
Erin is not red.
False
1
inv-proof
[(triple2)]
("Erin" "is" "red" "-")
triple2
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Erin is kind.[(triple1)] Erin is not smart.[(triple3)] Erin is red.[(triple2)] Fiona is kind.[(triple4)] Fiona is not rough.[(triple5)] Fiona is round.[(triple6)] Gary is red.[(triple7)]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is not smart.
("Erin" "is" "smart" "-")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7