Anne is white. Gary is kind. Gary is white. If someone is round then they are blue. All kind people are round. All blue, kind people are red. Blue, white people are kind. Round, young people are blue. Kind, young people are round.
Anne is white.
("Anne" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All blue, kind people are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Blue, white people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Round, young people are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Kind, young people are round.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple2)]
("Gary" "is" "kind" "+")
triple2
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Gary is round.
True
2
proof
[(((triple2) -> rule2))]
("Gary" "is" "round" "+")
((triple2) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "round" "-")
((triple2) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("Gary" "is" "blue" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("Gary" "is" "blue" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
True
5
proof
[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule3))]
("Gary" "is" "red" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not red.
False
5
inv-proof
[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule3))]
("Gary" "is" "red" "-")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Anne is not red.
Unknown
inv-rconc
[@4: Anne is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule1 <- rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is kind.
Unknown
rconc
[@3: Anne is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- FAIL)]]
("Anne" "is" "kind" "+")
Anne is not blue.
Unknown
inv-rconc
[@4: Anne is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule4 <- rule5 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is round.
Unknown
rconc
[@4: Anne is round.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule1 <- rule6 <- FAIL)]]
("Anne" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is white.[(triple1)] Gary is kind.[(triple2)] Gary is white.[(triple3)] @1: Gary is round.[(((triple2) -> rule2))] @2: Gary is blue.[(((((triple2) -> rule2)) -> rule1))] @3: Gary is red.[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule3))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
((triple2) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3