Anne is cold. Anne is not furry. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is young. Bob is furry. Gary is not furry. Gary is kind. Kind people are cold. All cold people are round. If Gary is green and Gary is not round then Gary is furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If Gary is green and Gary is not round then Gary is furry.
((("Gary" "is" "green" "+") ("Gary" "is" "round" "~")) -> ("Gary" "is" "furry" "+"))
Anne is green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Bob is not furry.
False
1
inv-proof
[(triple8)]
("Bob" "is" "furry" "-")
triple8
Gary is cold.
True
2
proof
[(((triple10) -> rule1))]
("Gary" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
True
3
proof
[(((((triple10) -> rule1)) -> rule2))]
("Gary" "is" "round" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not round.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule2))]
("Gary" "is" "round" "-")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not furry.[(triple2)] Anne is quiet.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Anne is young.[(triple7)] Bob is furry.[(triple8)] Gary is kind.[(triple10)] Gary is not furry.[(triple9)] @1: Gary is cold.[(((triple10) -> rule1))] @2: Gary is round.[(((((triple10) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2