Anne is not quiet. Bob is cold. Bob is round. All furry people are kind. If someone is furry and cold then they are quiet. Cold people are round.
Anne is not quiet.
("Anne" "is" "quiet" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry and cold then they are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is not quiet.[(triple1)] Bob is cold.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule3))]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1