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