Anne is round. Bob is rough. All cold, blue people are kind. All blue people are round. If someone is cold then they are rough. Furry, kind people are round. All blue people are cold. If someone is rough then they are furry.
Anne is round.
("Anne" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
All cold, blue people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Furry, kind people are round.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is furry.
True
2
proof
[(((triple2) -> rule6))]
("Bob" "is" "furry" "+")
((triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not furry.
False
2
inv-proof
[(((triple2) -> rule6))]
("Bob" "is" "furry" "-")
((triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Anne is furry.
Unknown
rconc
[@3: Anne is furry.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule5 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Anne is round.[(triple1)] Bob is rough.[(triple2)] @1: Bob is furry.[(((triple2) -> rule6))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1