Charlie is not big. Charlie is not blue. Charlie is not green. Charlie is not kind. Charlie is not quiet. Charlie is not rough. Charlie is white. Dave is blue. Dave is white. Erin is big. Erin is green. Erin is rough. Erin is white. Gary is kind. Gary is quiet. Gary is rough. If someone is rough then they are white.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is rough then they are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Gary is quiet.
True
1
proof
[(triple15)]
("Gary" "is" "quiet" "+")
triple15
Erin is not green.
False
1
inv-proof
[(triple11)]
("Erin" "is" "green" "-")
triple11
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Charlie is not big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is not kind.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is not rough.[(triple6)] Charlie is white.[(triple7)] Dave is blue.[(triple8)] Dave is white.[(triple9)] Erin is big.[(triple10)] Erin is green.[(triple11)] Erin is rough.[(triple12)] Erin is white.[(triple13 OR ((triple12) -> rule1))] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Gary is white.[(((triple16) -> rule1))]
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple2
Charlie is not green.
("Charlie" "is" "green" "-")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple4
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple5
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
((triple12) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Gary is white.
("Gary" "is" "white" "+")
((triple16) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1