Anne is not big. Anne is kind. Anne is rough. Charlie is not cold. Charlie is not white. Erin is rough. Gary is big. Gary is not cold. Gary is nice. Gary is red. Nice things are not kind. If something is white and red then it is cold.
Anne is not big.
("Anne" "is" "big" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Nice things are not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If something is white and red then it is cold.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Gary is not cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "-")
triple8
Charlie is white.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Gary is not kind.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "kind" "-")
((triple9) -> (rule1 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is kind.
False
2
inv-proof
[(((triple9) -> rule1))]
("Gary" "is" "kind" "+")
((triple9) -> (rule1 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is rough.[(triple3)] Charlie is not cold.[(triple4)] Charlie is not white.[(triple5)] Erin is rough.[(triple6)] Gary is big.[(triple7)] Gary is nice.[(triple9)] Gary is not cold.[(triple8)] Gary is red.[(triple10)] @1: Gary is not kind.[(((triple9) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is not cold.
("Gary" "is" "cold" "-")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is not kind.
("Gary" "is" "kind" "-")
((triple9) -> (rule1 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1