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