Anne is cold. Anne is green. Anne is quiet. Bob is not cold. Bob is furry. Bob is green. Bob is quiet. Bob is smart. Bob is white. Harry is not cold. Harry is furry. Harry is green. Harry is quiet. Harry is smart. Harry is not white. If Bob is not furry then Bob is quiet. Furry people are green. All furry, cold people are green. If Anne is not furry then Anne is not smart. All blue people are cold. If someone is quiet and not white then they are not cold. All blue people are smart. If Anne is white then Anne is not green.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Bob is not furry then Bob is quiet.
((("Bob" "is" "furry" "~")) -> ("Bob" "is" "quiet" "+"))
Furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All furry, cold people are green.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If Anne is not furry then Anne is not smart.
((("Anne" "is" "furry" "~")) -> ("Anne" "is" "smart" "-"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is quiet and not white then they are not cold.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "cold" "-"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If Anne is white then Anne is not green.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "green" "-"))
Harry is not white.
True
1
proof
[(triple15)]
("Harry" "is" "white" "-")
triple15
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Bob is furry.[(triple5)] Bob is green.[(triple6 OR ((triple5) -> rule2))] Bob is not cold.[(triple4)] Bob is quiet.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple11) -> rule2))] Harry is not cold.[(triple10 OR ((triple13 triple15) -> rule6))] Harry is not white.[(triple15)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple6
((triple5) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not cold.
("Bob" "is" "cold" "-")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
((triple11) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not cold.
("Harry" "is" "cold" "-")
triple10
((triple13 triple15) -> (rule6 % int1))
Harry is not cold.
("Harry" "is" "cold" "-")
int1
Harry is not white.
("Harry" "is" "white" "-")
triple15
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14