Dave is white. Erin is cold. Fiona is round. All cold people are red. White, red people are not round. All cold people are blue.
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
White, red people are not round.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "-"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Dave is white.
True
1
proof
[(triple1)]
("Dave" "is" "white" "+")
triple1
Dave is not white.
False
1
inv-proof
[(triple1)]
("Dave" "is" "white" "-")
triple1
Erin is blue.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Erin" "is" "red" "-")
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is white.[(triple1)] Erin is cold.[(triple2)] Fiona is round.[(triple3)] @1: Erin is blue.[(((triple2) -> rule3))] Erin is red.[(((triple2) -> rule1))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1