Anne is young. Erin is cold. Erin is nice. Erin is young. Gary is kind. Gary is rough. Gary is young. If someone is rough then they are kind. If Gary is rough and Gary is blue then Gary is young. All young people are green. Young, nice people are blue. If someone is kind and nice then they are green. If Anne is rough then Anne is cold. Young, rough people are green. If someone is green and cold then they are blue.
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Gary is rough and Gary is blue then Gary is young.
((("Gary" "is" "rough" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "young" "+"))
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Young, nice people are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If Anne is rough then Anne is cold.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "cold" "+"))
Young, rough people are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and cold then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Erin is nice.
True
1
proof
[(triple3)]
("Erin" "is" "nice" "+")
triple3
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Erin is green.
True
2
proof
[(((triple4) -> rule3))]
("Erin" "is" "green" "+")
((triple4) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple7) -> rule3) OR ((triple7 triple6) -> rule7))]
("Gary" "is" "green" "-")
((triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple7 triple6) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is young.[(triple1)] Erin is cold.[(triple2)] Erin is nice.[(triple3)] Erin is young.[(triple4)] Gary is kind.[(triple5 OR ((triple6) -> rule1))] Gary is rough.[(triple6)] Gary is young.[(triple7)] @1: Anne is green.[(((triple1) -> rule3))] Erin is blue.[(((triple4 triple3) -> rule4) OR ((((triple4) -> rule3) triple2) -> rule8))] Erin is green.[(((triple4) -> rule3))] Gary is green.[(((triple7) -> rule3) OR ((triple7 triple6) -> rule7))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
((triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple4 triple3) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple4) -> (rule3 % int2)) triple2) -> (rule8 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple4) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple7 triple6) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1