Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Dave is kind. Dave is nice. Erin is cold. Erin is kind. Erin is not nice. Erin is not quiet. Erin is red. Erin is round. Gary is blue. Gary is kind. Gary is quiet. Gary is not red. If something is blue and not quiet then it is not red. If Erin is kind and Erin is not cold then Erin is round. If Dave is round and Dave is not cold then Dave is nice.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
If something is blue and not quiet then it is not red.
((("something" "is" "blue" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "red" "-"))
If Erin is kind and Erin is not cold then Erin is round.
((("Erin" "is" "kind" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "round" "+"))
If Dave is round and Dave is not cold then Dave is nice.
((("Dave" "is" "round" "+") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple14)]
("Gary" "is" "kind" "+")
triple14
Erin is not cold.
False
1
inv-proof
[(triple7)]
("Erin" "is" "cold" "-")
triple7
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Erin is not nice.[(triple9)] Erin is not quiet.[(triple10)] Erin is red.[(triple11)] Erin is round.[(triple12)] Gary is blue.[(triple13)] Gary is kind.[(triple14)] Gary is not red.[(triple16)] Gary is quiet.[(triple15)]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is not nice.
("Erin" "is" "nice" "-")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
Erin is round.
("Erin" "is" "round" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is not red.
("Gary" "is" "red" "-")
triple16
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15