Dave is furry. Dave is quiet. Dave is red. Dave is not rough. Dave is not white. Dave is young. Fiona is not quiet. If something is young and furry then it is not round.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is not white.
("Dave" "is" "white" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
If something is young and furry then it is not round.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "-"))
Fiona is not quiet.
True
1
proof
[(triple7)]
("Fiona" "is" "quiet" "-")
triple7
Dave is white.
False
1
inv-proof
[(triple5)]
("Dave" "is" "white" "+")
triple5
Dave is not round.
True
3
proof
[(((triple6 triple1) -> rule1))]
("Dave" "is" "round" "-")
((triple6 triple1) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Dave is round.
False
3
inv-proof
[(((triple6 triple1) -> rule1))]
("Dave" "is" "round" "+")
((triple6 triple1) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Dave is furry.[(triple1)] Dave is not rough.[(triple4)] Dave is not white.[(triple5)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is young.[(triple6)] Fiona is not quiet.[(triple7)] @1: Dave is not round.[(((triple6 triple1) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is not rough.
("Dave" "is" "rough" "-")
triple4
Dave is not white.
("Dave" "is" "white" "-")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple7
Dave is not round.
("Dave" "is" "round" "-")
((triple6 triple1) -> (rule1 % int1))
Dave is not round.
("Dave" "is" "round" "-")
int1