Anne is not blue. Anne is not green. Anne is not nice. Bob is furry. Bob is not nice. Erin is round. Harry is nice. If Anne is round then Anne is nice. If something is nice then it is blue. If something is nice and not round then it is blue. All green things are not blue. If Erin is round and Erin is furry then Erin is nice. If something is round and not green then it is nice. If something is quiet and not green then it is nice. All green things are nice.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not green.
("Anne" "is" "green" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Erin is round.
("Erin" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Anne is round then Anne is nice.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "nice" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is nice and not round then it is blue.
((("something" "is" "nice" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
All green things are not blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "-"))
If Erin is round and Erin is furry then Erin is nice.
((("Erin" "is" "round" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "nice" "+"))
If something is round and not green then it is nice.
((("something" "is" "round" "+") ("something" "is" "green" "~")) -> ("something" "is" "nice" "+"))
If something is quiet and not green then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "green" "~")) -> ("something" "is" "nice" "+"))
All green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Anne is not nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "-")
triple3
Harry is not nice.
False
1
inv-proof
[(triple7)]
("Harry" "is" "nice" "-")
triple7
Erin is not blue.
Unknown
inv-rconc
[@2: Erin is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Erin" "is" "blue" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is not blue.[(triple1)] Anne is not green.[(triple2)] Anne is not nice.[(triple3)] Bob is furry.[(triple4)] Bob is not nice.[(triple5)] Erin is round.[(triple6)] Harry is nice.[(triple7)] @1: Harry is blue.[(((triple7) -> rule2))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Bob is not nice.
("Bob" "is" "nice" "-")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
((triple7) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1