Anne is not green. Charlie is green. Charlie is white. Gary is nice. Gary is not rough. Harry is green. Harry is quiet. All white, rough people are blue. If someone is quiet then they are rough. All furry people are quiet.
Anne is not green.
("Anne" "is" "green" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All white, rough people are blue.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet then they are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Gary is nice.
True
1
proof
[(triple4)]
("Gary" "is" "nice" "+")
triple4
Anne is green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Harry is rough.
True
2
proof
[(((triple7) -> rule2))]
("Harry" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "rough" "-")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is not green.[(triple1)] Charlie is green.[(triple2)] Charlie is white.[(triple3)] Gary is nice.[(triple4)] Gary is not rough.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] @1: Harry is rough.[(((triple7) -> rule2))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is not rough.
("Gary" "is" "rough" "-")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1