Anne is blue. Anne is cold. Anne is kind. Anne is rough. Erin is cold. Erin is rough. Gary is blue. Gary is cold. Gary is rough. Gary is white. If Anne is white then Anne is red. All white, kind things are cold. All red things are kind. Blue things are kind. All white, big things are blue. Kind things are red. If Anne is white and Anne is rough then Anne is kind. If Gary is cold and Gary is blue then Gary is rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Anne is white then Anne is red.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "red" "+"))
All white, kind things are cold.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
All white, big things are blue.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If Anne is white and Anne is rough then Anne is kind.
((("Anne" "is" "white" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "kind" "+"))
If Gary is cold and Gary is blue then Gary is rough.
((("Gary" "is" "cold" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "rough" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Gary is not blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "-")
triple7
Anne is red.
True
2
proof
[(((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6))]
("Anne" "is" "red" "+")
((triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Gary is not kind.
False
2
inv-proof
[(((triple7) -> rule4))]
("Gary" "is" "kind" "-")
((triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Erin is not red.
Unknown
inv-rconc
[@3: Erin is red.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- FAIL)]]
("Erin" "is" "red" "-")
Erin is kind.
Unknown
rconc
[@4: Erin is kind.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule4 <- rule5 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule4))] Anne is rough.[(triple4)] Erin is cold.[(triple5)] Erin is rough.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8 OR ((triple10 ((triple7) -> rule4)) -> rule2))] Gary is rough.[(triple9 OR ((triple8 triple7) -> rule8) OR ((((triple10 ((triple7) -> rule4)) -> rule2) triple7) -> rule8))] Gary is white.[(triple10)] @1: Anne is red.[(((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Gary is kind.[(((triple7) -> rule4))] @2: Gary is red.[(((((triple7) -> rule4)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple10 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple9
((triple8 triple7) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple10 ((triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2