Anne is blue. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is not round. Dave is not smart. If something is smart and rough then it is green. If Anne is round then Anne is smart. If something is green and not rough then it is not quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is not smart.
("Dave" "is" "smart" "-")
If something is smart and rough then it is green.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If Anne is round then Anne is smart.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "smart" "+"))
If something is green and not rough then it is not quiet.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "quiet" "-"))
Dave is green.
True
1
proof
[(triple6)]
("Dave" "is" "green" "+")
triple6
Dave is not quiet.
False
1
inv-proof
[(triple7)]
("Dave" "is" "quiet" "-")
triple7
Anne is smart.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Anne" "is" "green" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not green.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Anne" "is" "green" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is not round.[(triple9)] Dave is not smart.[(triple10)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] @1: Anne is smart.[(((triple3) -> rule2))] @2: Anne is green.[(((((triple3) -> rule2) triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is not round.
("Dave" "is" "round" "-")
triple9
Dave is not smart.
("Dave" "is" "smart" "-")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2