Charlie is rough. Gary is red. Harry is kind. Kind people are green. All rough, red people are cold. If Gary is green then Gary is kind.
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All rough, red people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Gary is green then Gary is kind.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "kind" "+"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple3)]
("Harry" "is" "kind" "-")
triple3
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is rough.[(triple1)] Gary is red.[(triple2)] Harry is kind.[(triple3)] @1: Harry is green.[(((triple3) -> rule1))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
((triple3) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1