Anne is furry. Anne is white. Bob is kind. If Anne is round then Anne is nice. If someone is round then they are rough. Quiet, round people are furry. If Bob is white then Bob is furry. If someone is white then they are round. If someone is rough then they are furry. Kind people are nice. If someone is white and quiet then they are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is kind.
("Bob" "is" "kind" "+")
If Anne is round then Anne is nice.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "nice" "+"))
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Quiet, round people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If Bob is white then Bob is furry.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "furry" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is white and quiet then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Bob is kind.
True
1
proof
[(triple3)]
("Bob" "is" "kind" "+")
triple3
Bob is not kind.
False
1
inv-proof
[(triple3)]
("Bob" "is" "kind" "-")
triple3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is furry.[(triple1 OR ((((((triple2) -> rule5)) -> rule2)) -> rule6))] Anne is white.[(triple2)] Bob is kind.[(triple3)] @1: Anne is round.[(((triple2) -> rule5))] Bob is nice.[(((triple3) -> rule7))] @2: Anne is nice.[(((((triple2) -> rule5)) -> rule1))] Anne is rough.[(((((triple2) -> rule5)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple3) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2