Anne is white. Erin is cold. Fiona is not cold. If Erin is young then Erin is green. If something is round then it is white. White, kind things are young. Cold things are young. If Erin is green then Erin is not white. If something is green and not kind then it is not round.
Anne is white.
("Anne" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
If Erin is young then Erin is green.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "green" "+"))
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
White, kind things are young.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Erin is green then Erin is not white.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "white" "-"))
If something is green and not kind then it is not round.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "is" "round" "-"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Fiona is cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "+")
triple3
Erin is young.
True
2
proof
[(((triple2) -> rule4))]
("Erin" "is" "young" "+")
((triple2) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule4))]
("Erin" "is" "young" "-")
((triple2) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
True
3
proof
[(((((triple2) -> rule4)) -> rule1))]
("Erin" "is" "green" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule1))]
("Erin" "is" "green" "-")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "+")
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Anne is white.[(triple1)] Erin is cold.[(triple2)] Fiona is not cold.[(triple3)] @1: Erin is young.[(((triple2) -> rule4))] @2: Erin is green.[(((((triple2) -> rule4)) -> rule1))] @3: Erin is not white.[(((((((triple2) -> rule4)) -> rule1)) -> rule5))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not white.
("Erin" "is" "white" "-")
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3