Anne is nice. Anne is rough. Anne is round. Charlie is not nice. Charlie is quiet. Charlie is not white. Charlie is young. Dave is furry. Gary is furry. Gary is not nice. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is not young. If Anne is white and Anne is quiet then Anne is furry. If someone is quiet and not round then they are furry. If someone is round and nice then they are white.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is not young.
("Gary" "is" "young" "-")
If Anne is white and Anne is quiet then Anne is furry.
((("Anne" "is" "white" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "furry" "+"))
If someone is quiet and not round then they are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "furry" "+"))
If someone is round and nice then they are white.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Gary is furry.
True
1
proof
[(triple9)]
("Gary" "is" "furry" "+")
triple9
Dave is not furry.
False
1
inv-proof
[(triple8)]
("Dave" "is" "furry" "-")
triple8
Anne is white.
True
3
proof
[(((triple3 triple1) -> rule3))]
("Anne" "is" "white" "+")
((triple3 triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
3
inv-proof
[(((triple3 triple1) -> rule3))]
("Anne" "is" "white" "-")
((triple3 triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "white" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is not nice.[(triple4)] Charlie is not white.[(triple6)] Charlie is quiet.[(triple5)] Charlie is young.[(triple7)] Dave is furry.[(triple8)] Gary is furry.[(triple9)] Gary is not nice.[(triple10)] Gary is not young.[(triple15)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)] @1: Anne is white.[(((triple3 triple1) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is not nice.
("Gary" "is" "nice" "-")
triple10
Gary is not young.
("Gary" "is" "young" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
Anne is white.
("Anne" "is" "white" "+")
((triple3 triple1) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1