Anne is not big. Anne is blue. Anne is cold. Anne is kind. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is not kind. Bob is rough. If someone is blue and furry then they are cold. If someone is smart and blue then they are cold. If someone is cold and not furry then they are smart. If Anne is kind and Anne is furry then Anne is big. If Bob is blue then Bob is rough. Smart people are kind. If someone is rough and not blue then they are not big. If someone is blue and not cold then they are not rough.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is rough.
("Bob" "is" "rough" "+")
If someone is blue and furry then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is smart and blue then they are cold.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and not furry then they are smart.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "smart" "+"))
If Anne is kind and Anne is furry then Anne is big.
((("Anne" "is" "kind" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "big" "+"))
If Bob is blue then Bob is rough.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "rough" "+"))
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and not blue then they are not big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "big" "-"))
If someone is blue and not cold then they are not rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "-"))
Bob is furry.
True
1
proof
[(triple8)]
("Bob" "is" "furry" "+")
triple8
Anne is not kind.
False
1
inv-proof
[(triple4)]
("Anne" "is" "kind" "-")
triple4
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7 OR ((triple6 triple8) -> rule1))] Bob is furry.[(triple8)] Bob is not kind.[(triple9)] Bob is rough.[(triple10 OR ((triple6) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not big.
("Anne" "is" "big" "-")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple7
((triple6 triple8) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is not kind.
("Bob" "is" "kind" "-")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
triple10
((triple6) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1