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