Bob is green. Bob is not red. Erin is not cold. Erin is green. Erin is quiet. Erin is rough. Fiona is cold. All red things are blue. Rough things are red.
Bob is green.
("Bob" "is" "green" "+")
Bob is not red.
("Bob" "is" "red" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
Rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple5)]
("Erin" "is" "quiet" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Erin is red.
True
2
proof
[(((triple6) -> rule2))]
("Erin" "is" "red" "+")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple6) -> rule2))]
("Erin" "is" "red" "-")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("Erin" "is" "blue" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("Erin" "is" "blue" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not blue.
Unknown
inv-rconc
[@2: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is green.[(triple1)] Bob is not red.[(triple2)] Erin is green.[(triple4)] Erin is not cold.[(triple3)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Fiona is cold.[(triple7)] @1: Erin is red.[(((triple6) -> rule2))] @2: Erin is blue.[(((((triple6) -> rule2)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is not cold.
("Erin" "is" "cold" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2