Anne is green. Anne is quiet. Anne is round. Dave is round. Gary is cold. Gary is green. Gary is nice. If something is round then it is cold. Cold, green things are furry.
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is round.
("Dave" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is round then it is cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Cold, green things are furry.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Gary is furry.
True
3
proof
[(((triple5 triple6) -> rule2))]
("Gary" "is" "furry" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
True
4
proof
[(((((triple3) -> rule1) triple1) -> rule2))]
("Anne" "is" "furry" "+")
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not furry.
False
4
inv-proof
[(((((triple3) -> rule1) triple1) -> rule2))]
("Anne" "is" "furry" "-")
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Dave is round.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] @1: Anne is cold.[(((triple3) -> rule1))] Dave is cold.[(((triple4) -> rule1))] Gary is furry.[(((triple5 triple6) -> rule2))] @2: Anne is furry.[(((((triple3) -> rule1) triple1) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple5 triple6) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple3) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2