Dave is not cold. Dave is kind. Erin is cold. Erin is red. Erin is white. Erin is not young. Fiona is red. If someone is kind and not white then they are not green. If someone is cold then they are kind.
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is kind and not white then they are not green.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "green" "-"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fiona is red.
True
1
proof
[(triple7)]
("Fiona" "is" "red" "+")
triple7
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Erin is kind.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is kind.[(triple2)] Dave is not cold.[(triple1)] Erin is cold.[(triple3)] Erin is not young.[(triple6)] Erin is red.[(triple4)] Erin is white.[(triple5)] Fiona is red.[(triple7)] @1: Erin is kind.[(((triple3) -> rule2))]
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is not young.
("Erin" "is" "young" "-")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1