Bob is not blue. Dave is not red. Erin is red. Fiona is not cold. All red people are cold. If Erin is cold and Erin is red then Erin is blue.
Bob is not blue.
("Bob" "is" "blue" "-")
Dave is not red.
("Dave" "is" "red" "-")
Erin is red.
("Erin" "is" "red" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Erin is cold and Erin is red then Erin is blue.
((("Erin" "is" "cold" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "blue" "+"))
Bob is not blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Dave is red.
False
1
inv-proof
[(triple2)]
("Dave" "is" "red" "+")
triple2
Erin is cold.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
True
4
proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Erin" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is not blue.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Erin" "is" "blue" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is not blue.[(triple1)] Dave is not red.[(triple2)] Erin is red.[(triple3)] Fiona is not cold.[(triple4)] @1: Erin is cold.[(((triple3) -> rule1))] @2: Erin is blue.[(((((triple3) -> rule1) triple3) -> rule2))]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2