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