Erin is big. Erin is furry. Erin is kind. Erin is rough. Erin is not young. Gary is cold. Gary is rough. All blue people are not kind. All young, blue people are not kind. If Gary is rough and Gary is cold then Gary is not young. If someone is kind and not rough then they are blue. If someone is young and not blue then they are furry. Young people are furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All blue people are not kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "-"))
All young, blue people are not kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "-"))
If Gary is rough and Gary is cold then Gary is not young.
((("Gary" "is" "rough" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "young" "-"))
If someone is kind and not rough then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "blue" "+"))
If someone is young and not blue then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "furry" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Gary is not young.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Gary" "is" "young" "-")
((triple7 triple6) -> (rule3 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is young.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Gary" "is" "young" "+")
((triple7 triple6) -> (rule3 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is not young.[(triple5)] Erin is rough.[(triple4)] Gary is cold.[(triple6)] Gary is rough.[(triple7)] @1: Gary is not young.[(((triple7 triple6) -> rule3))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is not young.
("Erin" "is" "young" "-")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is not young.
("Gary" "is" "young" "-")
((triple7 triple6) -> (rule3 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1