Anne is not furry. Anne is rough. Anne is young. Bob is not cold. Bob is furry. Bob is kind. Bob is red. If something is young and not rough then it is not smart. If Anne is furry then Anne is cold. If something is kind and not rough then it is cold. If something is cold and rough then it is kind. If Bob is not smart then Bob is not cold. If Anne is red and Anne is not young then Anne is smart. If something is rough then it is red. If something is smart and not kind then it is red.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
If something is young and not rough then it is not smart.
((("something" "is" "young" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "-"))
If Anne is furry then Anne is cold.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "cold" "+"))
If something is kind and not rough then it is cold.
((("something" "is" "kind" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
If something is cold and rough then it is kind.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If Bob is not smart then Bob is not cold.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "cold" "-"))
If Anne is red and Anne is not young then Anne is smart.
((("Anne" "is" "red" "+") ("Anne" "is" "young" "~")) -> ("Anne" "is" "smart" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is smart and not kind then it is red.
((("something" "is" "smart" "+") ("something" "is" "kind" "~")) -> ("something" "is" "red" "+"))
Bob is red.
True
1
proof
[(triple7)]
("Bob" "is" "red" "+")
triple7
Anne is furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is red.
True
2
proof
[(((triple2) -> rule7))]
("Anne" "is" "red" "+")
((triple2) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple2) -> rule7))]
("Anne" "is" "red" "-")
((triple2) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is kind.
Unknown
rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Anne" "is" "kind" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is not furry.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is not cold.[(triple4)] Bob is red.[(triple7)] @1: Anne is red.[(((triple2) -> rule7))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not cold.
("Bob" "is" "cold" "-")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple7
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule7 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1