Anne is blue. Anne is cold. Anne is not red. Bob is cold. Bob is nice. Dave is not red. Dave is rough. Dave is white. Erin is not cold. Erin is red. White, cold people are nice. If Bob is blue then Bob is nice. If Anne is green then Anne is not red. Cold people are rough. Cold people are white. If Erin is blue and Erin is not rough then Erin is red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not red.
("Anne" "is" "red" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is red.
("Erin" "is" "red" "+")
White, cold people are nice.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If Bob is blue then Bob is nice.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "nice" "+"))
If Anne is green then Anne is not red.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "red" "-"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Erin is blue and Erin is not rough then Erin is red.
((("Erin" "is" "blue" "+") ("Erin" "is" "rough" "~")) -> ("Erin" "is" "red" "+"))
Dave is rough.
True
1
proof
[(triple7)]
("Dave" "is" "rough" "+")
triple7
Anne is red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Anne is rough.
True
2
proof
[(((triple2) -> rule4))]
("Anne" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple4) -> rule4))]
("Bob" "is" "rough" "-")
((triple4) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is nice.
True
4
proof
[(((((triple2) -> rule5) triple2) -> rule1))]
("Anne" "is" "nice" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not nice.
False
4
inv-proof
[(((((triple2) -> rule5) triple2) -> rule1))]
("Anne" "is" "nice" "-")
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "white" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not red.[(triple3)] Bob is cold.[(triple4)] Bob is nice.[(triple5 OR ((((triple4) -> rule5) triple4) -> rule1))] Dave is not red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Erin is not cold.[(triple9)] Erin is red.[(triple10)] @1: Anne is rough.[(((triple2) -> rule4))] Anne is white.[(((triple2) -> rule5))] Bob is rough.[(((triple4) -> rule4))] Bob is white.[(((triple4) -> rule5))] @2: Anne is nice.[(((((triple2) -> rule5) triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((((triple4) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Dave is not red.
("Dave" "is" "red" "-")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Erin is not cold.
("Erin" "is" "cold" "-")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple4) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2