Anne is green. Anne is kind. Anne is red. Anne is white. Dave is green. Dave is kind. Dave is red. Dave is round. Dave is white. Dave is young. Gary is green. Gary is kind. Gary is round. Gary is smart. Gary is young. All white, round people are kind. If someone is smart and kind then they are red.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All white, round people are kind.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and kind then they are red.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Dave is round.
True
1
proof
[(triple8)]
("Dave" "is" "round" "+")
triple8
Gary is not young.
False
1
inv-proof
[(triple15)]
("Gary" "is" "young" "-")
triple15
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((triple9 triple8) -> rule1))] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is green.[(triple11)] Gary is kind.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Gary is red.[(((triple14 triple12) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple9 triple8) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Gary is red.
("Gary" "is" "red" "+")
((triple14 triple12) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1