Anne is not big. Anne is blue. Anne is furry. Anne is not round. Bob is nice. Dave is big. Dave is blue. Dave is not cold. Dave is furry. Dave is nice. Dave is not rough. Dave is round. If Anne is round and Anne is not blue then Anne is not rough. If something is blue and nice then it is round. If something is rough then it is big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not round.
("Anne" "is" "round" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is round.
("Dave" "is" "round" "+")
If Anne is round and Anne is not blue then Anne is not rough.
((("Anne" "is" "round" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "rough" "-"))
If something is blue and nice then it is round.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
Bob is nice.
True
1
proof
[(triple5)]
("Bob" "is" "nice" "+")
triple5
Anne is not blue.
False
1
inv-proof
[(triple2)]
("Anne" "is" "blue" "-")
triple2
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not round.[(triple4)] Bob is nice.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is furry.[(triple9)] Dave is nice.[(triple10)] Dave is not cold.[(triple8)] Dave is not rough.[(triple11)] Dave is round.[(triple12 OR ((triple7 triple10) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is not cold.
("Dave" "is" "cold" "-")
triple8
Dave is not rough.
("Dave" "is" "rough" "-")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple12
((triple7 triple10) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1