Anne is young. Erin is rough. Gary is cold. Rough people are quiet. All young people are rough. If Gary is quiet then Gary is rough. All furry, quiet people are blue. If someone is furry and cold then they are rough. All smart people are blue. If someone is blue then they are cold. If someone is furry then they are cold.
Anne is young.
("Anne" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Gary is quiet then Gary is rough.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "rough" "+"))
All furry, quiet people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry and cold then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Erin is quiet.
True
2
proof
[(((triple2) -> rule1))]
("Erin" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is young.[(triple1)] Erin is rough.[(triple2)] Gary is cold.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2))] Erin is quiet.[(((triple2) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule2)) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2