Gary is furry. Gary is kind. Gary is red. Gary is rough. Harry is not blue. Harry is furry. Harry is kind. Harry is not nice. Harry is not red. Harry is smart. If Harry is red and Harry is not nice then Harry is blue. Red things are furry. If something is nice then it is rough. All smart things are not rough. All rough things are kind. If something is blue and not furry then it is not kind.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is red and Harry is not nice then Harry is blue.
((("Harry" "is" "red" "+") ("Harry" "is" "nice" "~")) -> ("Harry" "is" "blue" "+"))
Red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All smart things are not rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "-"))
All rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is blue and not furry then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "-"))
Harry is not nice.
True
1
proof
[(triple8)]
("Harry" "is" "nice" "-")
triple8
Harry is not smart.
False
1
inv-proof
[(triple10)]
("Harry" "is" "smart" "-")
triple10
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 furry.[(triple1 OR ((triple3) -> rule2))] Gary is kind.[(triple2 OR ((triple4) -> rule5))] Gary is red.[(triple3)] Gary is rough.[(triple4)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] Harry is not blue.[(triple5)] Harry is not nice.[(triple8)] Harry is not red.[(triple9)] Harry is smart.[(triple10)] @1: Harry is not rough.[(((triple10) -> rule4))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
((triple3) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
((triple4) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not blue.
("Harry" "is" "blue" "-")
triple5
Harry is not nice.
("Harry" "is" "nice" "-")
triple8
Harry is not red.
("Harry" "is" "red" "-")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
((triple10) -> (rule4 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1