Anne is furry. Anne is green. Anne is kind. Anne is not rough. Anne is round. Anne is white. Dave is not furry. Dave is not green. Dave is rough. Dave is not round. Dave is white. Fiona is white. If someone is round then they are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is round then they are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Dave is rough.
True
1
proof
[(triple9)]
("Dave" "is" "rough" "+")
triple9
Fiona is not white.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "white" "-")
triple12
Anne is nice.
True
2
proof
[(((triple5) -> rule1))]
("Anne" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple5) -> rule1))]
("Anne" "is" "nice" "-")
((triple5) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Dave is not furry.[(triple7)] Dave is not green.[(triple8)] Dave is not round.[(triple10)] Dave is rough.[(triple9)] Dave is white.[(triple11)] Fiona is white.[(triple12)] @1: Anne is nice.[(((triple5) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Dave is not furry.
("Dave" "is" "furry" "-")
triple7
Dave is not green.
("Dave" "is" "green" "-")
triple8
Dave is not round.
("Dave" "is" "round" "-")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1