Charlie is blue. Charlie is white. Dave is blue. Dave is rough. Dave is round. Dave is white. Gary is blue. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is white. White, cold people are kind. All blue people are kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
White, cold people are kind.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Dave is white.
True
1
proof
[(triple6)]
("Dave" "is" "white" "+")
triple6
Gary is not kind.
False
1
inv-proof
[(triple9 OR ((triple7) -> rule2))]
("Gary" "is" "kind" "-")
triple9
((triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Charlie is kind.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is blue.[(triple1)] Charlie is white.[(triple2)] Dave is blue.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((triple7) -> rule2))] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Charlie is kind.[(((triple1) -> rule2))] Dave is kind.[(((triple3) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1