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