Dave is nice. Dave is quiet. Dave is smart. Erin is furry. Erin is kind. Erin is nice. Erin is white. Fiona is kind. Fiona is nice. Fiona is quiet. Gary is nice. Gary is smart. Furry, cold people are not white.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Furry, cold people are not white.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "-"))
Erin is kind.
True
1
proof
[(triple5)]
("Erin" "is" "kind" "+")
triple5
Dave is not nice.
False
1
inv-proof
[(triple1)]
("Dave" "is" "nice" "-")
triple1
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Gary is nice.[(triple11)] Gary is smart.[(triple12)]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12