Anne is not red. Anne is rough. Anne is white. Bob is quiet. Dave is white. Erin is quiet. Erin is smart. If Bob is not smart then Bob is furry. If someone is quiet then they are kind. If Erin is furry then Erin is rough. If someone is white and rough then they are furry. All quiet, smart people are furry. If someone is rough and not furry then they are red.
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Bob is not smart then Bob is furry.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "furry" "+"))
If someone is quiet then they are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Erin is furry then Erin is rough.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "rough" "+"))
If someone is white and rough then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All quiet, smart people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and not furry then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "red" "+"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple2)]
("Anne" "is" "rough" "-")
triple2
Bob is kind.
True
2
proof
[(((triple4) -> rule2))]
("Bob" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is not furry.
False
3
inv-proof
[(((triple6 triple7) -> rule5))]
("Erin" "is" "furry" "-")
((triple6 triple7) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
True
4
proof
[(((((triple6 triple7) -> rule5)) -> rule3))]
("Erin" "is" "rough" "+")
((((triple6 triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is not rough.
False
4
inv-proof
[(((((triple6 triple7) -> rule5)) -> rule3))]
("Erin" "is" "rough" "-")
((((triple6 triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "+")
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is not red.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is quiet.[(triple4)] Dave is white.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)] @1: Anne is furry.[(((triple3 triple2) -> rule4))] Bob is kind.[(((triple4) -> rule2))] Erin is furry.[(((triple6 triple7) -> rule5))] Erin is kind.[(((triple6) -> rule2))] @2: Erin is rough.[(((((triple6 triple7) -> rule5)) -> rule3))]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple3 triple2) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 triple7) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((((triple6 triple7) -> (rule5 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2