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