Charlie is smart. Gary is not white. Harry is smart. If Gary is young and Gary is blue then Gary is green. Smart people are not furry. If someone is smart then they are not furry. If Gary is green then Gary is blue. All white people are not green. If Gary is green then Gary is not furry. All red, green people are white. If Gary is smart then Gary is not red.
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Gary is young and Gary is blue then Gary is green.
((("Gary" "is" "young" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "green" "+"))
Smart people are not furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
If someone is smart then they are not furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
If Gary is green then Gary is blue.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "blue" "+"))
All white people are not green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "-"))
If Gary is green then Gary is not furry.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "furry" "-"))
All red, green people are white.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Gary is smart then Gary is not red.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "red" "-"))
Gary is not white.
True
1
proof
[(triple2)]
("Gary" "is" "white" "-")
triple2
Charlie is not smart.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "smart" "-")
triple1
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "white" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is smart.[(triple1)] Gary is not white.[(triple2)] Harry is smart.[(triple3)] @1: Charlie is not furry.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Harry is not furry.[(((triple3) -> rule2) OR ((triple3) -> rule3))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Gary is not white.
("Gary" "is" "white" "-")
triple2
Harry is smart.
("Harry" "is" "smart" "+")
triple3
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
((triple1) -> (rule3 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
((triple3) -> (rule3 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1