Anne is not cold. Erin is furry. Fiona is kind. Fiona is white. Gary is cold. Gary is green. Gary is kind. All kind people are not young. All young, kind people are furry.
Anne is not cold.
("Anne" "is" "cold" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
All kind people are not young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
All young, kind people are furry.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Gary is kind.
True
1
proof
[(triple7)]
("Gary" "is" "kind" "+")
triple7
Fiona is not white.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Fiona is not young.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "young" "-")
((triple3) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Gary is young.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "young" "+")
((triple7) -> (rule1 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Anne is furry.
Unknown
rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is not cold.[(triple1)] Erin is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is white.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is kind.[(triple7)] @1: Fiona is not young.[(((triple3) -> rule1))] Gary is not young.[(((triple7) -> rule1))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Fiona is not young.
("Fiona" "is" "young" "-")
((triple3) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Gary is not young.
("Gary" "is" "young" "-")
((triple7) -> (rule1 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1