Anne is not cold. Anne is kind. Bob is kind. Bob is quiet. Charlie is furry. Charlie is not green. Dave is rough. Furry people are nice. If Dave is green and Dave is not quiet then Dave is kind. Quiet, kind people are cold.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Furry people are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If Dave is green and Dave is not quiet then Dave is kind.
((("Dave" "is" "green" "+") ("Dave" "is" "quiet" "~")) -> ("Dave" "is" "kind" "+"))
Quiet, kind people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Charlie is furry.
True
1
proof
[(triple5)]
("Charlie" "is" "furry" "+")
triple5
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Bob is cold.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "cold" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple5) -> rule1))]
("Charlie" "is" "nice" "-")
((triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Charlie is furry.[(triple5)] Charlie is not green.[(triple6)] Dave is rough.[(triple7)] @1: Bob is cold.[(((triple4 triple3) -> rule3))] Charlie is nice.[(((triple5) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
Charlie is not green.
("Charlie" "is" "green" "-")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1