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