Gary is red. Gary is rough. Gary is not smart. Furry, smart people are rough. If someone is red then they are kind. All furry people are not kind. Furry, kind people are smart. All furry, blue people are not smart. Nice people are red.
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
Furry, smart people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All furry people are not kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
Furry, kind people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All furry, blue people are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "-"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Gary is not smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "-")
triple3
Gary is smart.
False
1
inv-proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Gary is kind.
True
2
proof
[(((triple1) -> rule2))]
("Gary" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Gary" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Gary is not smart.[(triple3)] Gary is red.[(triple1)] Gary is rough.[(triple2)] @1: Gary is kind.[(((triple1) -> rule2))]
Gary is not smart.
("Gary" "is" "smart" "-")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple1
Gary is rough.
("Gary" "is" "rough" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1