Gary is kind. Harry is green. Harry is white. Blue, big things are kind. All big, white things are not kind. If Harry is blue and Harry is kind then Harry is white. If Harry is rough then Harry is white. All big, white things are green. If something is kind then it is not red. If something is blue then it is rough. Rough, kind things are big.
Gary is kind.
("Gary" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
Blue, big things are kind.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All big, white things are not kind.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "-"))
If Harry is blue and Harry is kind then Harry is white.
((("Harry" "is" "blue" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "white" "+"))
If Harry is rough then Harry is white.
((("Harry" "is" "rough" "+")) -> ("Harry" "is" "white" "+"))
All big, white things are green.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is kind then it is not red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "-"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Rough, kind things are big.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Harry is white.
True
1
proof
[(triple3)]
("Harry" "is" "white" "+")
triple3
Harry is not white.
False
1
inv-proof
[(triple3)]
("Harry" "is" "white" "-")
triple3
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Gary is kind.[(triple1)] Harry is green.[(triple2)] Harry is white.[(triple3)] @1: Gary is not red.[(((triple1) -> rule6))]
Gary is kind.
("Gary" "is" "kind" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Gary is not red.
("Gary" "is" "red" "-")
((triple1) -> (rule6 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1