Charlie is blue. Charlie is cold. Charlie is green. Charlie is smart. Charlie is white. Gary is not blue. Gary is cold. Gary is green. Gary is quiet. Gary is not white. All white people are cold. If Gary is rough then Gary is not quiet.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not white.
("Gary" "is" "white" "-")
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If Gary is rough then Gary is not quiet.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "quiet" "-"))
Gary is not white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "-")
triple10
Charlie is not white.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "white" "-")
triple5
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple5) -> rule1))] Charlie is green.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is not blue.[(triple6)] Gary is not white.[(triple10)] Gary is quiet.[(triple9)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple5) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is not blue.
("Gary" "is" "blue" "-")
triple6
Gary is not white.
("Gary" "is" "white" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9