Anne is round. Anne is not young. Dave is blue. Fiona is red. Fiona is round. Fiona is not smart. Gary is smart. All blue, young people are not red. If someone is young and smart then they are not red. If Dave is blue then Dave is young.
Anne is round.
("Anne" "is" "round" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is smart.
("Gary" "is" "smart" "+")
All blue, young people are not red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "-"))
If someone is young and smart then they are not red.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "-"))
If Dave is blue then Dave is young.
((("Dave" "is" "blue" "+")) -> ("Dave" "is" "young" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Dave is young.
True
2
proof
[(((triple3) -> rule3))]
("Dave" "is" "young" "+")
((triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
2
inv-proof
[(((triple3) -> rule3))]
("Dave" "is" "young" "-")
((triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not red.
True
4
proof
[(((triple3 ((triple3) -> rule3)) -> rule1))]
("Dave" "is" "red" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
False
4
inv-proof
[(((triple3 ((triple3) -> rule3)) -> rule1))]
("Dave" "is" "red" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is not young.[(triple2)] Anne is round.[(triple1)] Dave is blue.[(triple3)] Fiona is not smart.[(triple6)] Fiona is red.[(triple4)] Fiona is round.[(triple5)] Gary is smart.[(triple7)] @1: Dave is young.[(((triple3) -> rule3))] @2: Dave is not red.[(((triple3 ((triple3) -> rule3)) -> rule1))]
Anne is not young.
("Anne" "is" "young" "-")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
((triple3) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not red.
("Dave" "is" "red" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Dave is young.
("Dave" "is" "young" "+")
int2