Anne is not kind. Erin is red. Gary is not red. If someone is red then they are cold. If Erin is furry and Erin is not green then Erin is young.
Anne is not kind.
("Anne" "is" "kind" "-")
Erin is red.
("Erin" "is" "red" "+")
Gary is not red.
("Gary" "is" "red" "-")
If someone is red then they are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Erin is furry and Erin is not green then Erin is young.
((("Erin" "is" "furry" "+") ("Erin" "is" "green" "~")) -> ("Erin" "is" "young" "+"))
Gary is not red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "-")
triple3
Gary is red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is not kind.[(triple1)] Erin is red.[(triple2)] Gary is not red.[(triple3)] @1: Erin is cold.[(((triple2) -> rule1))]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Gary is not red.
("Gary" "is" "red" "-")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1