Bob is not quiet. Erin is cold. Gary is not quiet. If someone is red then they are cold. If Erin is cold then Erin is kind. If someone is cold and kind then they are not red. If someone is red and smart then they are green. If someone is smart and not kind then they are not young. If Erin is not cold then Erin is green.
Bob is not quiet.
("Bob" "is" "quiet" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Erin is cold then Erin is kind.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "kind" "+"))
If someone is cold and kind then they are not red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "-"))
If someone is red and smart then they are green.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and not kind then they are not young.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "-"))
If Erin is not cold then Erin is green.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "green" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Erin is kind.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "kind" "-")
((triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not red.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Erin" "is" "red" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Erin" "is" "red" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is not quiet.[(triple1)] Erin is cold.[(triple2)] Gary is not quiet.[(triple3)] @1: Erin is kind.[(((triple2) -> rule2))] @2: Erin is not red.[(((triple2 ((triple2) -> rule2)) -> rule3))]
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not red.
("Erin" "is" "red" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2