Gary is not green. Gary is kind. Gary is not nice. Gary is rough. Gary is not young. Harry is blue. Harry is young. All young things are not rough. All kind, young things are big. Kind, blue things are not big.
Gary is not green.
("Gary" "is" "green" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
All young things are not rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
All kind, young things are big.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Kind, blue things are not big.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "-"))
Gary is rough.
True
1
proof
[(triple4)]
("Gary" "is" "rough" "+")
triple4
Gary is not rough.
False
1
inv-proof
[(triple4)]
("Gary" "is" "rough" "-")
triple4
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Gary is kind.[(triple2)] Gary is not green.[(triple1)] Gary is not nice.[(triple3)] Gary is not young.[(triple5)] Gary is rough.[(triple4)] Harry is blue.[(triple6)] Harry is young.[(triple7)] @1: Harry is not rough.[(((triple7) -> rule1))]
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is not green.
("Gary" "is" "green" "-")
triple1
Gary is not nice.
("Gary" "is" "nice" "-")
triple3
Gary is not young.
("Gary" "is" "young" "-")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is not rough.
("Harry" "is" "rough" "-")
((triple7) -> (rule1 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1