Anne is cold. Anne is not furry. Anne is green. Anne is quiet. Anne is round. Anne is not white. Bob is big. Bob is furry. Bob is green. Bob is not white. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is not white. All cold things are green. All cold things are not white. If something is green and white then it is cold. If something is green and not cold then it is round. If something is quiet then it is round. If something is cold and not furry then it is big. If something is cold then it is big. If something is furry and not green then it is big.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not white.
("Bob" "is" "white" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not white.
("Dave" "is" "white" "-")
All cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
All cold things are not white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "-"))
If something is green and white then it is cold.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
If something is green and not cold then it is round.
((("something" "is" "green" "+") ("something" "is" "cold" "~")) -> ("something" "is" "round" "+"))
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is cold and not furry then it is big.
((("something" "is" "cold" "+") ("something" "is" "furry" "~")) -> ("something" "is" "big" "+"))
If something is cold then it is big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If something is furry and not green then it is big.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "big" "+"))
Bob is not white.
True
1
proof
[(triple10)]
("Bob" "is" "white" "-")
triple10
Bob is not green.
False
1
inv-proof
[(triple9)]
("Bob" "is" "green" "-")
triple9
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple3 OR ((triple1) -> rule1))] Anne is not furry.[(triple2)] Anne is not white.[(triple6 OR ((triple1) -> rule2))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple4) -> rule5))] Bob is big.[(triple7)] Bob is furry.[(triple8)] Bob is green.[(triple9)] Bob is not white.[(triple10)] Dave is cold.[(triple11)] Dave is furry.[(triple12)] Dave is green.[(triple13 OR ((triple11) -> rule1))] Dave is not white.[(triple16 OR ((triple11) -> rule2))] Dave is quiet.[(triple14)] Dave is round.[(triple15 OR ((triple14) -> rule5))] @1: Anne is big.[(((triple1) -> rule7) OR ((triple1 triple2) -> rule6))] Dave is big.[(((triple11) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple6
((triple1) -> (rule2 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple4) -> (rule5 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
triple9
Bob is not white.
("Bob" "is" "white" "-")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple11
Dave is furry.
("Dave" "is" "furry" "+")
triple12
Dave is green.
("Dave" "is" "green" "+")
triple13
((triple11) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not white.
("Dave" "is" "white" "-")
triple16
((triple11) -> (rule2 % int1))
Dave is not white.
("Dave" "is" "white" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple14
Dave is round.
("Dave" "is" "round" "+")
triple15
((triple14) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule7 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple1 triple2) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple11) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1