Charlie is blue. Charlie is green. Charlie is kind. Charlie is white. Charlie is not young. Dave is cold. Dave is young. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is young. Harry is green. Harry is kind. Harry is not round. Harry is young. If Charlie is young then Charlie is blue. All blue, round people are not white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is young then Charlie is blue.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "blue" "+"))
All blue, round people are not white.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "-"))
Erin is young.
True
1
proof
[(triple12)]
("Erin" "is" "young" "+")
triple12
Harry is not kind.
False
1
inv-proof
[(triple14)]
("Harry" "is" "kind" "-")
triple14
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not young.[(triple5)] Charlie is white.[(triple4)] Dave is cold.[(triple6)] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is round.[(triple11)] Erin is young.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is not round.[(triple15)] Harry is young.[(triple16)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is not round.
("Harry" "is" "round" "-")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16