Anne is furry. Anne is young. Charlie is furry. Charlie is nice. Charlie is not white. Charlie is not young. Erin is not blue. Erin is white. Harry is blue. Harry is green. All red, nice things are not furry. If something is red then it is furry. Green, blue things are young. If Anne is blue and Anne is not red then Anne is white. Red things are not blue. If something is red and nice then it is blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is not young.
("Charlie" "is" "young" "-")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is white.
("Erin" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
All red, nice things are not furry.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "-"))
If something is red then it is furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Green, blue things are young.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If Anne is blue and Anne is not red then Anne is white.
((("Anne" "is" "blue" "+") ("Anne" "is" "red" "~")) -> ("Anne" "is" "white" "+"))
Red things are not blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "-"))
If something is red and nice then it is blue.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Charlie is young.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "young" "+")
triple6
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is not white.[(triple5)] Charlie is not young.[(triple6)] Erin is not blue.[(triple7)] Erin is white.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] @1: Harry is young.[(((triple10 triple9) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is not young.
("Charlie" "is" "young" "-")
triple6
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
((triple10 triple9) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1